Let n≥2n \geq 2 be an integer and x1,x2,…,xnx_1, x_2, \ldots, x_n be real numbers satisfying

(a) xj>−1x_j > -1 for j=1,2,…,nj = 1, 2, \ldots, n and

(b) x1+x2+⋯+xn=nx_1 + x_2 + \cdots + x_n = n.

Prove the inequality ∑j=1n11+xj≥∑j=1nxj1+xj2\sum_{j=1}^n \frac{1}{1 + x_j} \geq \sum_{j=1}^n \frac{x_j}{1 + x_j^2}

and determine when equality holds.