product formula; quantum Zeno effect; unbounded positive Hamiltonian; projection-values function; strong operator convergence