Act.3.3を、第三者によって解析済みのAct.1.7で解析（近似値を調べること）してみた。ε_0以上の解析で私が使えるのは、自作の関数だけ。飛躍がなければ、そこそこいい感じで ψ(Ω^Ω^Ω^ω) まで行く。バッハマン・ハワード順序数は ψ(Ω^Ω^Ω^Ω^Ω^…∞) となる。