Sea $S$ el conjunto de todos los números racionales expresables en la forma \[\frac{(a_1^2+a_1-1)(a_2^2+a_2-1)\ldots (a_n^2+a_n-1)}{(b_1^2+b_1-1)(b_2^2+b_2-1)\ldots (b_n^2+b_n-1)}\] para algunos enteros positivos $n, a_1, a_2 ,\ldots, a_n, b_1, b_2, \ldots, b_n$ . Demuestre que hay un número infinito de primos en $S$ .