Alon per-core average: $32\sum_{a\ne b\in R}L_f(W\cup\{a,b\})\ge n\,|R|(|R|-1)$ for $|R|\ge7$ (Erdős 624)

Initializing...

Alon per-core average: $32\sum_{a\ne b\in R}L_f(W\cup\{a,b\})\ge n\,|R|(|R|-1)$ for $|R|\ge7$ (Erdős 624) · Prove2Me