Error Analysis Math Example 2

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

Example 2

medium
A student 'proves': 'n2>nn^2 > n for all nn' by checking n=2,3,4n = 2, 3, 4. Identify the error in this argument and find a value of nn where the claim fails.

Solution

  1. 1
    Error: checking finitely many examples does not prove a universal statement. The student has verified the claim for n∈{2,3,4}n \in \{2,3,4\} but not for all integers.
  2. 2
    Counterexample: n=0n = 0: 02=0=n0^2 = 0 = n, so n2>nn^2 > n fails (0>Ìž00 \not> 0).
  3. 3
    Another: n=1n = 1: 12=1=n1^2 = 1 = n, again fails.
  4. 4
    Correct claim: n2>nn^2 > n for all n>1n > 1 (or for n<0n < 0, since n2≄0>nn^2 \ge 0 > n for negative nn).

Answer

n2>n fails at n=0 and n=1; the ’proof by examples’ is invalidn^2 > n \text{ fails at } n=0 \text{ and } n=1;\text{ the 'proof by examples' is invalid}
Proof by example is a common logical error. A universal claim requires an argument covering all cases, not just a few. A single counterexample invalidates a universal statement.

About Error Analysis

The systematic study of how errors arise in calculations or models, how large they are, and how they propagate through subsequent steps.

Learn more about Error Analysis →

More Error Analysis Examples