あ、いいのか。forのa.lengthで弾くね。
それならInteger.MAX_VALUEで初期化のほうがいいね。