Exponetial product formula, Trotter product formula, Trotter--Kato product formula, pointwise integral kernel convergence, harmonic oscillator.