<p>Ozawa and Shioya [<CitationRef CitationID="CR3">3</CitationRef>] proposed the limit formula for observable diameters of pyramids under weak convergence. However, we find a constructive counterexample to an inequality used in their proof. In this paper, we correct the inequality and verify the limit formula.</p>
A complete proof of the limit formula for observable diameter
Ozawa and Shioya [3] proposed the limit formula for observable diameters of pyramids under weak convergence. However, we find a constructive counterexample to an inequality used in their proof. In this paper, we correct the inequality and verify the limit formula.