Pedoe's_inequality