Describir: Least action principle of crystal formation of dense packing type and the proof of Kepler's conjecture