NonNegative
NonNegative[x] gives True if x is a nonnegative number.
NonNegative[x] gives False if x is manifestly a negative or complex numerical quantity. Otherwise, it remains unevaluated.
See also: Negative, Positive, Sign, Greater, Simplify.
Further Examples