 Entropy increase under nonselective projective measurement

If $\sigma ={\sum }_i{P}_i\rho P_i$ is a nonselective projective measurement, then $S(\sigma )\ge S(\rho )$. Equality holds exactly when $\rho$ is already block diagonal in the measurement decomposition, equivalently $[\rho ,P_i]=0$ for every $i$.