User blog comment:Kyodaisuu/Proof that there is no way to write Rayo function in compact form inside FOST/@comment-24061664-20131104003405

You are right. I think comparing the numbers of characters for expressing Rayo(Rayo(10^100)) in FOST and OFOST is a better way for explanation, so I will update the explanation.