| OME Local |
| OME Andaluza |
| OME Nacional |
| OIM |
| IMO |
| EGMO |
| USAMO |
| ASU |
| APMO |
| OMCC |
| Retos UJA |
En cuanto al apartado (b), consideremos $p_1,p_2,\ldots,p_n$ primos distintos y sea $c_i=p_1\cdots p_{i-1}p_{i+1}\cdots p_n$ el producto de todos los primos excepto $p_i$. Está claro también que $c_\alpha$ divide a $c_\beta c_\gamma$ para cualesquiera subíndices distintos $\alpha,\beta,\gamma$ ya que $c_\beta c_\gamma$ contiene a todos los primos en su factorización.
Comenzamos observando que \[S(X_0)=\sum_{k=1}^nk^2=\frac{n(n+1)(2n+1)}{6}\lt n(n-1)(n-2)\lt \prod_{k=1}^nk=P(X_0).\] ya que, para $n\gt 5$, se tiene que $n+1\lt 2(n-2)$ y $2n+1\lt 3(n-1)$. Esto nos dice que $D(X_0)=P(X_0)-S(X_0)\gt 0$. Ahora bien, se tiene que \begin{align*} D(X_k)&=P(X_k)-S(X_k)=P(X_{k-1})(P(X_{k-1})-1)-S(X_{k-1})-(P(X_{k-1})-1)^2\\ &=P(X_{k-1})^2-P(X_{k-1})-S(X_{k-1})-P(X_{k-1})^2+2P(X_{k-1})-1=D(X_{k-1})-1. \end{align*} Por lo tanto, la sucesión $D(X_k)$ comienza en un número positivo y decrece en una unidad en cada paso. Deducimos que será cero tras un cierto número de términos y hemos terminado.