Abstract: The Trotter-Kato formula is a useful tool which allows us to
express exp(-(A+B)t) for a pair of self-adjoint operators
A,B, which do not commute in general. We review the recent work by the
author and the others showing that the approximation converges
in the operator-norm sense and giving an optimal error bound.