1: \begin{abstract}

2: Let  $(f^n),f$ be a sequence of proper closed convex functions defined on a Hadamard space. We show that the convergence of proximal mappings $J^n_{\lambda}x$ to $J_{\lambda}x$, under certain additional conditions, imply Mosco convergence of $f^n$ to $f$. This result is a converse to a theorem of Ba\v cak about Mosco convergence in Hadamard spaces.

3:   

4: \end{abstract}