User blog comment:Wythagoras/FGH Dollars Function/@comment-5150073-20130710141251/@comment-7484840-20130710151735

I would have thought that judging by the two comparisons beforehand, that [0,2] would be psi(Omega^Omega + Omega) = psi(O^O +  psi(O^O +  psi(O^O + ... psi(O^O)... ) ) ) (O is short for Omega).

From my experience with HAN, climbing power towers of Omegas insde the psi function is always a lot harder than you expect.