n≧3で、r/s>(5/12)log(7/2)*(2^n)/log(n+1/2)に修正
これも大雑把だけど