Prefer a chat interface with context about you and your work?
On the Trotter-Lie product formula
1o In [1, Proposition 7.9] Chernoff gives an example of a pair A, B of nonnegative seffadjoint operators such that