I posted this question on Math StackExchange but did not get any answer. I am trying my luck here.
Let $a_{1},a_{2},\dotsc,a_{n+1}$ be a sequence of distinct non-zero real numbers with $$\sum_{j=1}^{n+1}a^2_{j}=1,\qquad\sum_{j=1}^{n+1}a_{j}=0.$$ Show \begin{equation} \tag{1} \label{1} 0<\sum_{k=1}^{n+1}\dfrac{1}{\lvert a_{k}\rvert}\prod_{\substack{j=1 \\ j\neq k}}^{n+1}\dfrac{a_{k}}{a_{k}-a_{j}}\le\sqrt{2}. \end{equation}
I found the equality on the right-hand side when $n=1$. But I can't prove this inequality \eqref{1}. First of all, this inequality is a bit like Lagrange's interpolation formula https://math.stackexchange.com/questions/500139/prove-1-sum-i-0n-frac1x-i-prod-j-neq-i1-frac1x-j-x-i-prod-i. I tried to prove it using Lagrange's interpolation formula but can't.