This was considered a big breakthrough: http://www.aimath.org/news/partition/brunier-ono.pdf http://www.aimath.org/news/partition/brunier-ono.pdf Notice Theore

This was considered a big breakthrough: http://www.aimath.org/news/partition/brunier-ono.pdf http://www.aimath.org/news/partition/brunier-ono.pdf Notice Theorem 1.1 gives a nice formulation, but unfortunately Tr(n) is really difficult to describe.