La notación especial formula_9 es usada para el ""logaritmo natural iterado"" (el logaritmo aplicado usando base formula_10).