そういう場合は、終了条件を（a[i] == 探しているもの）にした制御構造を
使うべき。で、インデックスが範囲を超えたときに例外を投げるなりナンナリ
した方が良いと思われ。