Let n2n \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+xjj=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.