上数と下数の往復でε_0に達するしくみがよく分からない。
9〜・↑n ≒ F[ω^ω^ω](n)
9〜・・↑n ≒ F[ω^ω^ω^ω](n)
といった感じで増えるのであれば、タネはω^ω^ωでなくても
9○↑n ≒ F[ω^ω](n)
ここから上下運動を繰り返せばε_0に達する、ということ？