2013/10/29 by DeSalvo, Stephen, Pak, Igor · 8 citations
#05A17 #11N37 #65G99 #Combinatorics (math.CO) #FOS: Mathematics
paper · doi:10.48550/arxiv.1310.7982
We prove that the partition function p(n) is log-concave for all n>25. We then extend the results to resolve two related conjectures by Chen. The proofs are based on Lehmer's estimates on the remainders of the Hardy--Ramanujan and the Rademacher series for p(n).