После умно­же­ния обеих ча­стей н а 2018 и не­ко­то­рых пре­об­ра­зо­ва­ний, по­лу­ча­ем, что нам до­ста­точ­но до­ка­зать не­ра­вен­ство

Ука­зан­ное не­ра­вен­ство сле­ду­ет из того, что а по­след­нее по­лу­ча­ет­ся пе­ре­мно­же­ни­ем 2018 не­ра­венств