On the convergence rate of Mann iteration in geodesic spaces with positive curvature. (3rd June 2021)