g(t) decreasing on some intervals? 

In the measure theory versions,
for the choice of g(t) so that the extended version implies the first version might need a little tweaking.

is decreasing on the range (0,1), which violates the precondition that g(t) be nondecreasing on the range of easily chosen f, such as f(t)=t. Did I miss something?