The Wehrl entropy has Gaussian optimizers