>>587
s^1,…,s^nを決めてから「戦略がある」ですよ？
どのようなs^1,…,s^nに対しても「戦略がある」わけです
nも最初に与えますね（n=100とか）
Dもnもmも最初に与えて
max(d1,…,dn)=Dである数列のうち
dk=max(d1,…,dn)=Dとなる数列がm個でそれ以外はdk<Dとなる数列の個数の比率は
D=1のときm=nなら1でm<nなら0
D>1のときnCm5^m/(6^n-1)
となります