Lieb's Theorem and Maximum Entropy Condensates