Proving an inequality involving integral.