Binet

Binet is equal to \(f_{\eta_{\eta_{\eta_0}}}(10)\) using the fast-growing hierarchy. The term was coined by wiki user Denis Maksudov.