Question 785543
{{{abs(n)>=n}}} 
For any number, either
1) {{{abs(n)=n}}} for {{{n>0}}}, or
2) {{{abs(n)=-n>0>n}}} for {{{n<0}}}, or
3) {{{abs(n)=n=-n}}} for {{{n=0}}}
The statement {{{abs(n)>=n}}} is true in all three cases (for all real numbers).