Compare numbers:

Represent an inequality:

The negation of two-argument Less is GreaterEqual:

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

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

This is not equivalent to three-argument GreaterEqual:

When Less cannot decide inequality between numeric expressions it returns unchanged:

FullSimplify uses exact symbolic transformations to disprove the inequality:

Negative[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 strict inequality is based on extra digits:

Arbitrary-precision approximate numbers do not have this problem:

Thanks to automatic precision tracking, Less 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 Less: