查看原题
设非负实数 $a_1, a_2, \cdots, a_{2023}$ 满足 $a_1+a_2+\cdots+a_{2023}=100$. 定义 $N$ 为集合
$$
\left\{(i, j) \mid 1 \leq i \leq j \leq 2023, a_i a_j \geq 1\right\}
$$

的元素个数. 求证: $N \leq 5050$ ，并给出等号成立的充分必要条件.
                        
不再提醒