Approximation to Power of 7 by Power of 10

From ProofWiki
Jump to: navigation, search

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$.


Proof


Sources