コレックは, 任意の
θ>log3/log4≈0.7924 に対して, ほぼすべての
N∈N+1 について
Colmin(N)≤Nθ であることを示した(自然密度の意味で). 本論文では, 任意の関数
f:N+1→R に対して,
limN→∞f(N)=+∞ ならば, ほぼすべての
N∈N+1 に対して
Colmin(N)≤f(N) であることを示す(対数密度の意味で). 本証明は, コラッツ反復(またはより正確には, 密接に関連するシラキューズ反復)に関連する特定の初回通過確率変数に対する安定化特性を確立することによって進められ, これにより, ある 3-進巡回群
Z/3nZ上での特定の偏ったランダムウォークの特徴関数を高周波数で推定することに帰着する. この推定は, 特定の二次元再生過程が与えられた周波数に関連する三角形の集合とどのように相互作用するかを調べることによって達成される.
f:N+1→R を
limN→∞f(N)=+∞ となるような任意の関数とする. ほとんどすべて(対数密度)の
N∈N+1 に対して
Colmin(N)<f(N) が成り立つ.