ならば MAXVAL(a(10:20)) だ。