Low-degree exclusion endpoint: for $k\ge256$ and $D\le\lfloor\log_2k\rfloor-2$, $64\cdot2(2^{R(t,D)+2}-1)<2^k$ (Erdős 624)

Initializing...

Low-degree exclusion endpoint: for $k\ge256$ and $D\le\lfloor\log_2k\rfloor-2$, $64\cdot2(2^{R(t,D)+2}-1)<2^k$ (Erdős 624) · Prove2Me