A Positive Answer to Bárány's Question on Face Numbers of Polytopes
Despite a full characterization of the face vectors of simple and simplicial polytopes, the face numbers of general polytopes are poorly understood. Around 1997, Bárány asked whether for all convex -polytopes and all , . We answer Bárány's question in the affirmative and prove a stronger statement: for all convex -polytopes and all , In the former, equality holds precisely when or when and is simple. In the latter, equality holds precisely when or when and is simplicial.