Behrend's lower bound: $r_3(N) \ge N e^{-4\sqrt{\log N}}$ · Prove2Me

P

Initializing...

Behrend's lower bound: $r_3(N) \ge N e^{-4\sqrt{\log N}}$ · Prove2Me