>>591
この1組を調べれば証明は完了だ。
問われているのは
a[10] の値の最小値、それだけだから。

もしも、問われているのが
a[10] の最小値だけではなく、
さらに、 {条件なんとか} を満たすX,Yの組みを求めよ
というのであれば、他の組み合わせも調べる必要があるけど…。