+s i0 Sf 0<