The Huang–Yang formula for the low-density Fermi gas: Upper bound
E.L. Giacomelli, C. Hainzl, P.T. Nam, R. Seiringer, Communications on Pure and Applied Mathematics (2026).