Proof of an entropy conjecture of Wehrl

Wehrl has proposed a new definition of classical entropy,S, in terms of coherent states and conjectured thatS≧1. A proof of this is given. We discuss the analogous problem for Bloch coherent spin states, but in this case the conjecture is still open. An inequality for the entropy of convolutions is also given.