Kepler's Conjecture

Theorem
The densest packing of identical spheres in space obtains a density of $\dfrac \pi {3 \sqrt 2} = \dfrac \pi {\sqrt {18} }$:
 * $\dfrac \pi {\sqrt {18} } = 0 \cdotp 74048$