>>588
a_1,,,a_10 の定め方は高々有限とおりだから
求める最小値は必ず存在する。　
と書いておいたほうがいいかも。