Random obstruction: $\mathrm{TrackBad}(n,m,s)$ fails once $2^{m+s}\ge n(\ln n\,(m+1)+1)$ (Erdős 624)

Initializing...

Random obstruction: $\mathrm{TrackBad}(n,m,s)$ fails once $2^{m+s}\ge n(\ln n\,(m+1)+1)$ (Erdős 624) · Prove2Me