P
Initializing...
Proper odd-palette inequality (11): $32\sum_{Y\in\binom Vk}Q^\circ(Y)\ge n\binom Nk$ (Erdős 624) · Prove2Me