Compare numbers:

Represent an inequality:

The negation of two-argument LessEqual is Greater:

The negation of three-argument LessEqual does not simplify automatically:

Use LogicalExpand to express it in terms of two-argument Greater:

This is not equivalent to three-argument Greater:

When LessEqual cannot decide inequality between numeric expressions, it returns unchanged:

FullSimplify uses exact symbolic transformations to prove the inequality:

NonPositive[x] is equivalent to :

Use Reduce to solve inequalities:

Use FindInstance to find solution instances:

Use RegionPlot and RegionPlot3D to visualize solution sets of inequalities:

Inequality assumptions:

Use Minimize and Maximize to solve optimization problems constrained by inequalities:

Use NMinimize and NMaximize to numerically solve constrained optimization problems:

Integrate a function over the solution set of inequalities:

Use Median, Quantile, and Quartiles to the greatest number(s):

Inequalities for machine-precision approximate numbers can be subtle:

The result is based on extra digits:

Arbitrary-precision approximate numbers do not have this problem:

Thanks to automatic precision tracking, LessEqual knows to look only at the first 10 digits:

In this case, inequality between machine numbers gives the expected result:

The extra digits in this case are ignored by LessEqual: