Proof of a 35 Year Old Conjecture for Entropy of Coherent States and Generalization - Elliot Lieb