g'\leq f