Encontrar $$ \inf_{\substack{ n\ge 1 \\ a_1,\ldots ,a_n >0 \\ a_1+\cdots +a_n <\pi }} \left( \sum_{j=1}^n a_j\cos \left( a_1+a_2+\cdots +a_j \right)\right) . $$