a[n]>0, a[n+1]>1/(n+1), 発散