>>436
アルティメットチャレンジによると
まず
t(n) := max(T^(k)(n) : k≧0)
で最大値を定義しています。Tはコラッツ関数ですが、(3n+1)/2で計算してるので少し小さくなります。
ρ(n) := log t(n) / log n が目的の関数です。
as n → ∞ should have ρ(n) ≦ 2 + o(1) for all sufficiently large n. という一文もありました。