>>182

〔補題〕
1 < n <(3+√10)/2,2r =√{10 -(2n-3)^2}のとき
{x^(n+1/2+r)- x^(n+1/2-r)+ 2r}^n ≧(1/3)(2r)^n・{x^(3n)+ 2},

の略証でござる。