>>523
gの有界性と三角不等式