P

Initializing...

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