>>641
「x>=0」（x≧0) とは「 x>0 であるか、または x=0 」という意味です。

x>0 は 「 x>0 であるか、または x=0 」 を 満たすので

x>0 ならば x>=0であるということができます。