1: \begin{abstract}

2:     Ozawa and Shioya~\cite{ozawa2015limit} 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.

3: \end{abstract}

4: