Abstract
Viazovska proved that the [Formula: see text] lattice sphere packing is the densest sphere packing in [Formula: see text] dimensions. Her proof relies on two inequalities between functions defined in terms of modular and quasimodular forms. We give a direct proof of these inequalities that does not rely on computer calculations.