# Why strict inequality needs a hypothesis

SIMULATED EXAMPLE — not original research or a model review.

The assertion n < n for every natural number is false. The smallest witness n = 0 illustrates explicit counterexample feedback.

## Statement and scope

Test a universal claim at a boundary value. A single witness disproves it; distinguish the false assertion from the true counterexample claim.

## Verification limitations

The package contains Lean source for the stated fixture. The MathHub server has not compiled it. For the design question/conjecture examples, this source proves only True, not the design claim.