a wider range of evaluation, it is necessary to include a factor for changing amplitude:

which, using Stirling's approximation, can be further simplified, in the limit, toThis expansion is needed to resolve the wavefunction of a quantum harmonic oscillator such that it agrees with the classical approximation in the limit of the correspondence principle.