I just ran this independently for n=2017; confirmed that this number is in fact prime! So an is composite for 4≤n≤2016

[![I ran sympy.factorint on a i9-13900k for the 5789 digit number n=2017 and it only returned 1 and the number ][1]][1]


  [1]: https://i.sstatic.net/XGibL.png

I ran sympy.factorint on a i9-13900k for the 5789 digit number n=2017 and it only returned 1 and the number