After all, there are some inequalities which are provable in ZFC

From MaRDI portal