(Translated by https://www.hiragana.jp/)
[1310.7982] Log-Concavity of the Partition Function