На странице 144 книги "
Old and New methods" описано доказтельство RCF-theorem.
К сожалению я не понял последнюю часть доказательства. Почему

?
В книге сказано что сложив два неравенства домноижив их на

и

можно получить искомое неравенство


, но в итоге

. Поэтому я в ступоре, буду благодарен разъяснениям. Спасио!