Is there a function that grows faster than all computable functions but does not have this property?

112 Views Asked by At

Does there exist a strictly increasing function $f$ from $\mathbb{N}$ to $\mathbb{N}$ which grows faster than all computable functions, but which does not have the following property: For all computable functions $g$, there exists an $n$ such that for all $m$ greater than or equal to $n$, $g(f(m)) < f(m+1)$? From what I understand, the Busy Beaver function does have that property. I am interested in the existence of a function that does not have that property.