Maximal diameter rigidity from disjoint comparison balls ($\mathrm{diam}M=\pi /\sqrt{k}⟹M\cong S_k^n$)

Assume the trace Ricci curvature satisfies $\mathrm{Ric}\ge (n-1)kg$, with $k>0$. If points $p,q$ have Riemannian distance $D=\pi /\sqrt{k}$, the balls $B(p,r)$ and $B(q,D-r)$ are disjoint. Bishop volume comparison with a positive-curvature model bounds their volumes below by $\mathrm{Vol}(M)v_k(r)/v_k(D)$ and $\mathrm{Vol}(M)v_k(D-r)/v_k(D)$. Since $v_k(r)+v_k(D-r)=v_k(D)$, both inequalities must be equalities. Taking $r\downarrow 0$ gives $\mathrm{Vol}M=v_k(D)$, and spherical rigidity of maximal total volume yields the round sphere.