My Solution:
Một cách tổng quát, giả thiết cho ta
$\frac{a_i^2}{1+a_i^2}=1-\frac{1}{1+a_i^2}=\sum \frac{1}{1+a_{i-1}^2}\geq \frac{i-1}{\sqrt[i-1]{\prod(1+a_{i-1}^2)}}$
Thiết lập $2002$ bất đẳng thức tương tự với $i=\overline{1,2002}$ và nhân lại, ta được:
$\prod_{i=1}^{2002}a_i^2\geq 2001^{2002}\Rightarrow \prod_{i=1}^{2002}a_i\geq 2001^{1001}$
Vậy bài toán đã được chứng minh $\blacksquare$
---------------------------------------------
Mở rộng ra, ta có bài toán với cách làm tương tự:
Với mọi số tự nhiên $k$ chẵn, thỏa mãn:
$\sum \frac{1}{1+a_{n}^2}=1$ ( Trong đó $a_k$ là số thứ tự với $n=\overline{1;k}$)
Thì: $\prod_{1}^{k}a_n\geq (k-1)^{k/2}$