User blog comment:Boboris02/Boris's ultima function/@comment-24676271-20161104001226/@comment-24920136-20161104022241

No and No.

f_0(Rayo(n)) = Rayo(n)+1 > Rayo(n)