User blog comment:Tetramur/Pentational arrays and beyond - comparisons/@comment-37993808-20191211162933/@comment-30279966-20191212094950

Interesting. So it turns out that \(Rayo(n) [>] f_\alpha(n)\) for all countable \(\alpha\)? O_o...