MathDB
This sum is always positive

Source:

April 19, 2013
inequalities

Problem Statement

Prove that, for any real numbers a1,a2,,ana_1, a_2, \dots , a_n, i,j=1naiaji+j10. \sum_{i,j=1}^n \frac{a_ia_j}{i+j-1}\ge 0.