Nemotron-IMO-Bench 2026 A50

Prove that for all $a_1,\ldots, a_n\in (-1,1)$ we have $$\prod_{i=1}^n \prod_{j=1}^n \frac{1+a_i a_j}{1-a_ia_j}\geq 1.$$