The following derivation makes use of the Trotter product formula, which states that for self-adjoint operators A and B (satisfying certain technical conditions), we have e i ( A + B ) ψ ψ = lim N → → ∞ ∞ ( e i A / N e i B / N ) N ψ ψ , even if A and B do not commute.