俺はこうした

同じ条件のもとで
納i;1,n]{x(i)/{(√(1+納k;0,i-1]x(k))*(√納k;i,n]x(k))}} < (π/2)
を示せ（分母の始めの()の中に>>22と違って1がある）

で，これは
納k;0,i-1]x(k)=y(i)
として書き直してちょっと大きくすれば
∫[x;0,1](dx/√(1-x^2))=(π/2)
と示せる