An inequality for anti-self-polar polytopes

We prove an inequality for the f-vectors of anti-self-polar polytopes conjectured by Katz in 1989. The proof uses Kalai’s combinatorial inequality based on a result of Whiteley. The inequality can also be obtained from the results of Stanley and Karu which however involve difficult algebraic geometry.