| −a2 | 1 | ||
≥ − | + b, | ||
| 1+a4 | 2 |
| 1 | ||
√a + | ≥2+b . | |
| √a |
| 1 | ||
− | + b ≤ 0 | |
| 2 |
| 1 | ||
b ≤ | . | |
| 2 |
| 1 | 1 | |||||||||
(1) | ≤ | − b. | ||||||||
| 2 |
| 1 | ||
+ x ≥ 2 dla x > 0. | ||
| x |
| 1 | ||
Zastosowanie jej pozwala zauważyć, że lewa strona (1) jest liczbą mniejszą lub równą | . | |
| 2 |
| 1 | ||
Pozostaje rozważyć nierówność dla b∊(0, | ). | |
| 2 |
| 1 | 1 | |||
Po oznaczeniu (− | + b) = c∊(− | , 0) mamy nierówność dwukwadratową | ||
| 2 | 2 |
| 1 | ||
a2 ≤ c + ca4, c∊(− | , 0) | |
| 2 |
| 1 | 1 | |||
a4 − | a2 + 1 ≤ 0, c∊(− | , 0) | ||
| c | 2 |