Pātuhitia tēnei: Least action principle of crystal formation of dense packing type and the proof of Kepler's conjecture