Harmonic oscillator wave function normalization