We have decided to discontinue the publication of preprints on our preprint server end of 2024. The publication culture within mathematics has changed so much due to the rise of repositories such as ArXiV (www.arxiv.org) that we are encouraging all institute members to make their preprints available there. An institute's repository in its previous form is, therefore, unnecessary. The preprints published to date will remain available here, but we will not add any new preprints here.
The Lie-Trotter-Kato product formula was 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. Unlike in the original proof, we completely avoid using ultrapowers of Hadamard spaces and any additional compactness assumptions.