User blog comment:Nayuta Ito/An April Fools Googologism/@comment-25601061-20180401011130

Then F4:2 = 6?