  Ozawa and Shioya 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.
