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 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