Remarks on the relation between quantum and classical entropy as proposed by A. Wehrl

Using an inequality of Lieb one can compute a probability distribution which is less mixed than any (z|ωz)dz, where z labels the points of phase space, w is a density matrix, and (z| the appropriate coherent state.