Hallo JB,
Bei einem Widerspruchsbeweis geht von der Annahme aus, dass die Behauptung falsch ist, und zeigt dann, dass das zu einem Widerspruch führt:
Annahme, es gibt x1 mit x1 ≥ 5 und | x1 - 4 | < 1
→
| x1 - 4 | = x1 - 4 < 1 → x1 < 5 , das ist ein Widerspruch zur Annahme.
Die Annahme muss also falsch und damit die Behauptung wahr sein.
Gruß Wolfgang