Arithmetic of the dense-extraction target: $n\le b|S|$, $|S|^4\le2^{104}a^{28}n^3\Rightarrow n\le2^{104}a^{28}b^4$ (Erdős 624)

Initializing...

Arithmetic of the dense-extraction target: $n\le b|S|$, $|S|^4\le2^{104}a^{28}n^3\Rightarrow n\le2^{104}a^{28}b^4$ (Erdős 624) · Prove2Me