Answer:
To prove that there exist infinitely many integers n such that n^2 + 1 is squarefree, we can use a proof by contradiction.
Assume the contrary, that there are only finitely many integers n such that n^2 + 1 is squarefree. Let's denote these integers as n_1, n_2, ..., n_k, where k is a finite positive integer.
Consider the number N = (n_1^2 + 1) * (n_2^2 + 1) * ... * (n_k^2 + 1) + 1.
Note that N is an integer and is greater than each of the numbers n_i^2 + 1 for i = 1 to k. Since n_i^2 + 1 is squarefree for each i, N is also squarefree, as it is not divisible by any square number other than 1.
However, N cannot be equal to any of the n_i^2 + 1, as N is strictly greater than each of them. This contradicts our assumption that n_1, n_2, ..., n_k are all the integers such that n^2 + 1 is squarefree.
Therefore, our assumption must be false, and there exist infinitely many integers n such that n^2 + 1 is squarefree. This completes the proof by contradiction.
Explanation: