-f'\leq g