Ono's_inequality