failed attempt to prove partition function formula