Analysis by Elliott H. Lieb & Michael Loss