 Fourier expansion of a modular form

Translation invariance at a cusp gives a Fourier expansion in its local parameter $q$. Holomorphy at the cusp excludes negative powers; vanishing of the constant term defines a cusp form.