>>668-669
　(S_k)^2 ≧ S_(k-1)･S_(k+1),
より
　1/S_0 ≧ ･･････ ≧ (S_k)^(k-1)／(S_{k-1})^k ≧ (S_{k+1})^k／(S_k)^(k+1) ≧ ････,
　S_0 = 1,
とすべきか....