絶対値の非負性 | 数学のたな