Proved inequality for anti-self-polar polytopes.
problem Proving an inequality for anti-self-polar polytopes.
method Using Kalai's combinatorial inequality based on Whiteley's result.
result Proved a conjecture by Katz about anti-self-polar polytopes.