命題
あるd>=d(s)についてs(d),s(d+1),・・・がわかればr(s)が分かる

わからん