Petinotos

Petinotos is equal to \(f_{\psi(\lambda[10^{15}+1])}(10)\).

The term was coinded by Denis Maksudov.