1: \begin{abstract}

2: The Lie-Trotter-Kato product formula has been recently extended into Hadamard spaces by [Stojkovic, Adv. Calc. Var., 2012]. The aim of our short note is to give a simpler proof relying upon weak convergence instead of an ultrapower technique.

3: \end{abstract}

4: