Dann hätten wir noch den Fall n=504.
Dein Argument mit n^2 und n-1 teilerfremd für n>2 ist ja ok.
Aber es darf ja dann n-1 kein Teiler von 1006 sein.
1006 = 2*503 ist die Primfaktorzerlegung
also ist der ganze Term ganzzahlig für n=3 und für n= 503 und für 1007,
wie du schon sagtest.