Verified tagged author-source HTML · 0905.4718v1 · cited publication edition alignment unverified.
00W2
Proof. As above we embed isometrically into and we get that the length of the mean curvature vector of the composite isometric embedding is then uniformly bounded independent of . We can then apply Theorem 1.1 of [Tp] and get the required diameter bound.
Alternatively, first one observes that (3.3) implies that there is a uniform constant so that that geodesic balls in of radius have volume at least (Lemma 3.2 in [H]). Since the total volume of is constant equal to , an elementary argument gives the required diameter bound.
∎