User blog comment:Kyodaisuu/English description of Fish numbers/@comment-25418284-20131102173245/@comment-24061664-20131102232249

FB100Z, do you agree with my proof that you cannot write Rayo(Rayo(i)) in j characters FOST?

If it is true, inroducing oracle f as Rayo is much stronger than Rayo, because it can write Rayon(i) or any formula that Rayo function can write. But it is only R[2] level. R[&phi;2(0)] is much stronger.

If it is not true, please show me that my proof is incorrect.