 
                                                
 здесь упрощать нечего
  здесь упрощать нечего
 здесь тоже упрощать нечего. Можно вынести за скобку общий множитель 2.
 здесь тоже упрощать нечего. Можно вынести за скобку общий множитель 2.
                                                 
                                                 ,
, ,
,
 , <=>
, <=>  , верное неравенство, значит и исходное неравенство в силу равносильности тоже верное)
, верное неравенство, значит и исходное неравенство в силу равносильности тоже верное) 
                                                 
                                                 
                                                 
                                                