Arithmetic of the rank-rich exclusion: $|Q|^4\le2^{132}n^3$, $64|Q|\ge n\Rightarrow n\le2^{156}$ (Erdős 624)

Initializing...

Arithmetic of the rank-rich exclusion: $|Q|^4\le2^{132}n^3$, $64|Q|\ge n\Rightarrow n\le2^{156}$ (Erdős 624) · Prove2Me