normalization of wave function