\underline{S}(f,P_1) \ge \underline{S}(f,P_2)