Baddep

Baddep is equal to \(f_{\varepsilon_0 +2}(10)\) using the fast-growing hierarchy.The term was coined by wiki user Denis Maksudov.