大なりイコールはaを含んでいるからそのまま成り立つ。
|a|≧a aの絶対値はa以上になる
|a|≧a -aの絶対値はa以上になる
|a|^2≧a^2 aの絶対値の2乗はa以上になる
|ab|=|a||b| 符号に関係なく乗除では絶対値は同じ