Вы­ра­зим через Для этого за­ме­тим, что а от­ку­да

Это вы­ра­же­ние при по­ло­жи­тель­ных x при­ни­ма­ет от­ри­ца­тель­ные зна­че­ния толь­ко если То же самое можно за­клю­чить про осталь­ные пе­ре­мен­ные. При этом все три пе­ре­мен­ные не могут быть быть боль­ше 5, так как тогда их сумма слиш­ком ве­ли­ка.

Таким об­ра­зом, мы до­ка­за­ли, что если хотя бы одна из пе­ре­мен­ных лежит в про­ме­жут­ке от 0 до 5, сумма по­пар­ных про­из­ве­де­ний не мень­ше 24, а об­рат­ный слу­чай не­воз­мо­жен. На самом деле, можно убе­дить­ся, что все пе­ре­мен­ные лежат в про­ме­жут­ке от 0 до 5.