\hat{a}|n\rangle = \sqrt{n}|n-1\rangle