P

Initializing...

Robust Alon inequality with a separate colour set: $32\sum_Y L_f(Y)\ge n\binom nk$ (Erdős 624) · Prove2Me