Te bewijzen :|x1+ x 2+ ... + xn| >≤ |x1| + |x2| + ... + |xn|   (n = 2,3,...)
m.a.w.
Bewijs :
Deel I Voor de kleinste n-waarde, nl. 2 is de formule
|x1+ x2| >≤ |x1|+|x2|
en dit is een bekende formule "uit de wereld van de absolute waarden"
beter gekend als   |x + y| >≤ |x| + |y|
Deel II Gegeven : |x1+ x 2+ ... + xk| >≤ |x1| + |x2| + ... + |xk|     ( I.H.)
Te bewijzen: |x1+ x 2+ ... + xk+ xk+1| >≤ |x1| + |x2| + ... + |xk|+ |xk+1|
Bewijs : LL >= | x1+ x 2+ ... + xk+ xk+1 |
__ >= |( x1+ x 2+ ... + xk) + xk+1|
__ >≤ | x1+ x 2+ ... + xk| + |xk+1 |
__ >≤ |x1| + |x2| + ... + |xk|+ |xk+1| = RL   Q.E.D.

Door het principe van volledige inductie is de stelling waar voor n = 2 (Deel I), n = 3 (Deel II),
n = 4 (Deel II), n = 5 ...   m.a.w. voor elk natuurlijk getal n


I.H. = Inductiehypothese     Q.E.D. = quod erat demonstrandum
Deel  I  = BASIC STEP
Deel II = INDUCTIVE STEP