>>122

a≧0であれば
|a| = a
これは|a|≧aに含まれる。

a＜0であれば
|a| = -a ＞0＞a
で、|a|＞aとなり
これも |a|≧aに含まれる。

いずれの場合も、|a|≧aが成り立っている。