x>0で、a>0なら1/2a>0だから、不等式の変形として問題なかろう