This work provides proof of Kepler's conjecture that B/O18 is the optimal density, and establishes the least action principle, which states that the hexagonal dense packings in crystals are the geometric consequence of optimization of density.