USAMO 2010 Problem 3

The 2010 positive numbers $a_1, a_2, \dots, a_{2010}$ satisfy the inequality $a_i a_j \le i + j$ for all distinct indices $i, j$. Determine, with proof, the largest possible value of the product $a_1 a_2 \cdots a_{2010}$.