Binary phi level

This category contains numbers that can be defined or estimated using fast-growing hierarchy in the form f_α(n) with α made from Veblen function and reasonably small values of n.

The lower bound of this category is \(f_{\varphi(2,0)}^2(10)\) or \(f_{\zeta_0}^2(10)\), and the upper bound is \(f_{\varphi(1,0,0)}^2(10)\) or \(f_{\Gamma_0}^2(10)\).