Problem
NT-B1-M08-P024 Consecutive Non-Squarefree Numbers
Prove that for every \(k\ge1\), there exist \(k\) consecutive positive integers, each divisible by the square of some prime.
Choose distinct primes \(p_1,\ldots,p_k\) and impose \(n+i\equiv0\pmod{p_i^2}\).
Choose distinct primes \(p_1,\ldots,p_k\). Consider the system \(n\equiv-1\pmod{p_1^2}\), \(n\equiv-2\pmod{p_2^2}\), \(\ldots\), \(n\equiv-k\pmod{p_k^2}\). The moduli \(p_i^2\) are pairwise coprime, so CRT gives a solution \(n_0\). Then for each \(i\), the number \(n_0+i\) is divisible by \(p_i^2\), so it is not squarefree. Adding multiples of \(p_1^2\cdots p_k^2\) to \(n_0\), we can choose \(n\) positive. Hence such \(k\) consecutive numbers exist.
Strong construction: CRT is used not for computation, but to create a prescribed property.