>>165
不等式自体は成り立つ。

ただ
・x=0のときは自明
・等号成立条件が複雑になる
という理由で非負じゃなくて正なんだと思う。