J. Hinman, “Lower Bounds on Face Numbers of Polytopes with $m$ Facets”, Electron. J. Combin., vol. 32, no. 1, p. P1.28, Feb. 2025.