なるほど。下数定義で F[a] 程度の関数は、上数定義で F[ω^a]程度に
なることを示せるかどうか、ですね。ならないかもしれませんが。
それが確かめられれば、スタートは上数で最小の関数でもいいわけですね。
ω^aを繰り返せば、結局ε_0に到達しますから。

そのあたりから、実際に計算してみてはいかがでしょうか？＞ルート41さん