P
Initializing...
Upper bound: $S_m(k,\ell) \le m/\gcd(m,\ell-1) - 1$ · Prove2Me