Question 13Real numbers $x_1,\ldots,x_{100}$ satisfy $x_1^2+2x_2^2+\cdots+100x_{100}^2=1$. Find the greatest integer smaller than or equal to $x_1+2x_2+\cdots+100x_{100}$.