Trotter product formula, Trotter-Kato product formula, 
unitary groups, Feynman path integrals, holomorphic Kato functions