User blog comment:Vel!/Ordinal BEAF 2.0/@comment-5029411-20130411182032/@comment-1605058-20130412053253

Aarex, you probably aren't informed, but Goucher admitted his number is vastly smaller than Rayo number. None of Xi function diagonalizations will get any close to it.