| 1 | ||
Hipoteza: ∃M>0 ∀x∊(0,1]: | <M. | |
| x |
| 1 | 1 | 1 | ||||
Ale | <M ⇔ x> | >0, zatem warunek | <M nie może zachodzić dla wszystkich x∊(0,1], | |||
| x | M | x |
| 1 | ||
lecz jedynie dla tych, które dodatkowo są większe od | . Sprzeczność. | |
| M |
| 1 | ||
Hipoteza: ∃M>0 ∀x∊(0,1]: | <M. | |
| x |
| 1 | ||
Ale dla xM= | mamy: | |
| M+1 |
| 1 | ||
b) | = M+1>M. Sprzeczność | |
| xM |