>>617
＞実は、対角化を意識しすぎたから、面倒になった。
＞（中略）
＞でも実はそれは本質ではなかった。

しまった！
ヒドラ・ゲームには関係ないが、
肝心の関数の増大度においては本質だった！
ということで、

>>614
＞ヒドラ・ゲームなんてHardy Functionそのものじゃん。
これ、対角化についてまったく言及してないっていう点で全く誤り。