при n=1:

делится нацело на 30
среди трех последовательных натуральных чисел n-1, n, n+1 хотя бы одно кратно 2 и хотя бы одно кратно 3
если ни одно из чисел n-1, n, n+1 не кратно 5, то тогда число n при делении на 5 дает остаток 2, или -2 (иначе остаток +3)
т.е. можно записать

где k - целое
тогда

кратное 5
т.е. либо одно из чисел n-1,n, n+1 кратно 5 либо n^2+1 кратно 5
таким образом данное выражение кратно 2, 3, 5 (2, 3, 5 взаимно простые каждые два между собой), а значит оно делится нацело на 2*3*5=30
таким образом мы доказали утверждение.
Доказано