exp(01ln(f(x))dx)<01f(x)dx.