2 problems

Skewed projection inequality. If $A$ is a weak antichain, then

Let $\Diamond^n$ be the standard cross-polytope in $\mathbb{R}^n$, let $H_k$ be a $k$-dimensional subspace of $\mathbb{R}^n$, and let $\Diamond^n|H_k$ denote the orthogonal project…