Largest Integer Expressible by 3 Digits/Logarithm Base 10

Theorem

 * $\map {\log_{10} } {9^{9^9} } \approx 369 \, 693 \,099 \cdotp 63157 \, 03685 \, 87876 \, 1$