$H(n+s)\le m+s$ implies that $\mathrm{TrackBad}(n,m,s)$ fails (Erdős 624) · Prove2Me

P

Initializing...

$H(n+s)\le m+s$ implies that $\mathrm{TrackBad}(n,m,s)$ fails (Erdős 624) · Prove2Me