Monotonicity of non-goodness for Erdős 624: $H(n)>m$ and $N\ge n$ imply $H(N)>m$ · Prove2Me

P

Initializing...

Monotonicity of non-goodness for Erdős 624: $H(n)>m$ and $N\ge n$ imply $H(N)>m$ · Prove2Me