\sum_{I}{f(x_{ij}) \cotd \nu(A_{ij}')} \geq s(P) = \sum_{i,j}{m_{ij} \cotd \nu(A_{ij})}