Hinman, J. Lower Bounds on Face Numbers of Polytopes With $m$ Facets. Electron. J. Combin. 2025, 32, P1.28.