>>323
aが0以上なら等号
aが負なら|a|が正だから不等号
まとめたのがその式