杉浦光夫著『解析入門I』、『解析入門II』を精読する。

Iのp.250

d(Δ) ≦ (d(Δ')^2 + d(Δ'')^2)^{1/2}

などという不等式が登場しますが、明らかに

d(Δ) = (d(Δ')^2 + d(Δ'')^2)^{1/2}

です。