Robustness Math Example 4

Follow the full solution, then compare it with the other examples linked below.

Example 4

medium
Prove that the statement 'n2>nn^2 > n for all n>1n > 1' is robust to replacing >> with \ge: does 'n2nn^2 \ge n for all n1n \ge 1' still hold?

Solution

  1. 1
    Original: n2>nn(n1)>0n^2 > n \Leftrightarrow n(n-1) > 0, which requires n>1n > 1 (since n>0n > 0 is assumed). True for n>1n > 1.
  2. 2
    Weakened version: n2nn(n1)0n^2 \ge n \Leftrightarrow n(n-1) \ge 0. For n1n \ge 1: both n0n \ge 0 and n10n-1 \ge 0, so the product 0\ge 0. True.
  3. 3
    At n=1n = 1: 12=1=n1^2 = 1 = n, so n2nn^2 \ge n holds with equality. The weakened statement is robust — it holds on the larger domain n1n \ge 1.

Answer

n2n for all n1 (robust under weakening > to )n^2 \ge n \text{ for all } n \ge 1 \text{ (robust under weakening } > \text{ to } \ge\text{)}
Robustness of a mathematical claim means it remains valid under small modifications (such as weakening strict inequalities). Testing boundary cases like n=1n=1 is essential for verifying robustness.

About Robustness

The property of a result, algorithm, or model remaining valid or approximately correct even when its assumptions are slightly violated.

Learn more about Robustness →

More Robustness Examples