Approximation to Power of 7 by Power of 10

Theorem

 * $7^{510} \approx 1 \cdotp 00000 \, 09377 \, 76536 \ldots \times 10^{431}$

This is the closest known approximation of a seventh power by a power of $10$.