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.