A twice-differentiable function p satisfies p′′(x)>0 on (0,1)∪(3,4) and p′′(x)<0 on (1,3). The interval [0,4] is partitioned into four subintervals of equal length, and the midpoint approximation PM and trapezoidal approximation PT to ∫04p(x)dx are computed using that partition. Which of the following statements is necessarily true?
a) PM<∫04p(x)dx<PT
b) PM−∫04p(x)dx<PT−∫04p(x)dx
c) PT<∫04p(x)dx<PM
d) PM−∫04p(x)dx=PT−∫04p(x)dx