f s x f x inf s inf s 1 f 1 inf 0 FULL