(Translated by https://www.hiragana.jp/)
[1412.4603] Log-concavity of the overpartition function