P
Initializing...
Parity-palette inequality: $32\sum_{Y\in\binom Vk}(n-|J_\varepsilon(Y)|)\ge n\binom Nk$ for $N\ge k+5$ (Erdős 624) · Prove2Me