一个与Wallis不等式有关的单调减少数列

证明了{n (64 n~3+16 n~2+72n+15)/64 n~3-16 n~2+72n-15~(1/2) integral from 0 to π/2 sin~nxdx}为严格单调减少数列,且极限为π/2~(1/2),因而得π(64 n~3-16 n~2+72n-15)/2n 64 n~3+16 n~2(+72n+15)~(1/2)integral from 0 to π/2 sin~nxdxπ(64 n~3+208 n~2+296n+167)/2 n(+1)(64 n~3+176 n~2+232n+105)~(1/2),将Wallis不等式改进为512 n~3-64 n~2+144n-15/πn (512 n~3+64 n~2+144n+15)~(1/2)2(n-1)!!/2(n)!!512 n~3+832 n~2+592n+167/(πn+0.5)(512 n~3+704 n~2+464n+105)~(1/2).