Solution (source code)

= Solution

The fundamental theorem gives
$$
g(b)-f(b)=g(a)-f(a)+\int_a^b(g\prime-f\prime)\,dx\ge0,
$$
which is the desired inequality.