\(\displaystyle T_1 = 1\)

\(\displaystyle T_2 = 2\)

\(\displaystyle T_{n+1} = 1 + \prod_{i=1}^{n} T_{i}\) for all integers \(\displaystyle n \geq 2\)

Prove that \(\displaystyle T_{2018}\) is not a perfect square.

For context, this was given to me by a student, and is the last part of a four part question. The previous parts were:

(a) What is the value of \(\displaystyle T_5\)? (Ans: 1 + 1*2*3*7 = 43)

(b) Prove that \(\displaystyle T_{n+1} = T_n^2 - T_n + 1\) for \(\displaystyle n \geq 2\)

(Ans:

Observe that \(\displaystyle T_n^2 - T_n = T_n(T_n - 1) = T_n(\)\(\displaystyle \prod_{i=1}^{n-1} T_{i}) = T_{n+1} - 1\)

then add one on both sides)

(c) Prove that \(\displaystyle T_n + T_{n+1}\) is a factor of \(\displaystyle T_nT_{n+1} - 1\) for all integers \(\displaystyle n \geq 2\)

(Ans:

\(\displaystyle T_nT_{n+1} - 1 = T_n^3 - T_n^2 + T_n - 1 = (T_n^2 + 1)(T_n - 1) = (T_n + T_{n+1})(T_n - 1)\)

On part (d), which is to prove that \(\displaystyle T_{2018}\) is not a perfect square, I'm stumped. How might one approach this? I might be missing something obvious as the structure of the question leads me to believe (c) is a fact I can use.

Either I can show the square root of a representation of \(\displaystyle T_{2018}\) isn't rational, or show \(\displaystyle T_{2018}\) is between two consecutive perfect squares?