Với mỗi số nguyên dương $n$, ta định nghĩa hàm $rad(n)$ như sau:
$rad(n)=\begin{cases} 1, &\mbox{nếu } n=1 \\ \mbox{tích các ước nguyên tố của } n, &\mbox{nếu } n>1 \end{cases}$.
Một dãy số nguyên $(a_n)$ được xây dựng như sau: Lấy $a_1$ bất kỳ, nguyên dương và với mọi $n\geq 1, a_{n+1}=a_n+rad(a_n)$. Chứng minh rằng, dãy $(a_n)$ luôn chứa một cấp số cộng có độ dài tùy ý.
Mông Cổ 2000