The power of negative thinking: Combinatorial and geometric inequalities

from blog Igor Pak's blog, | ↗ original
The equality cases of Stanley inequality are not in the polynomial hierarchy. How come? What does that tell us about geometric inequalities?