0183132人目の素数さん垢版 | 大砲2017/10/05(木) 01:05:50.43ID:bWqoEeDi >>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}, の略証でござる。