>>545の
f_2 => (m3 m2) とすれば、
m3 m3 m2 f (n) = (m3 m2)^n f (n)
という計算は、>>550の定義ではできない、はず。

>>553
> Λ(x)を具体的に表すことこそがこのスレッドの意義
そう思うなら、やってみたら？
たしかスネークがあったと思うけど、>>337によれば
あれはω^ω程度のようだし。とりあえずε_0を超えないと。

ふぃっしゅ氏も>>418-419でチャレンジしたけれど、
まだ「ε_1にも到達しなさそう」らしい。

>>338-350の多進木が一つの方法だとは思うけどね。