基本情報技術者 試験情報＆徹底解説 -新制度に完全対応-

下記の問題、回答の根拠を教えて頂きたいです。
問題  プログラムは、N個の要素を持つ配列A
【0】〜A【N-1】に格納された整数値の中から最大値を求めて返却する。

プログラム
整数型  Getmax
整数型  i,max
Max←A【0】
i←1
while（iがNより小さい）
  if（⬜︎）
    max←A【i】
   endif 
   i←i+1
endwhile
return max

⬜︎の中の回答は、A【i】がmaxより大きい

でした。
トレースすると、これは間違いではないのですが、
A【i】がA【i-1】より大きい
も間違いではないと思うのですがいかがでしょうか？

「A【i】がA【i-1】より大きい」が条件ですと、例えばプログラムの途中で
maxが5,  A[i]が3,  A[i-1]が2  の時に条件が成立し、
もともと5が入っていたmaxに3が代入されてしまうため、最大値を返せなくなってしまいます。

ありがとうございました。
理解できました。勝手に、格納された整数値を昇順にしていました。この場合だとどちらも正解ですが、昇順の記載はないため、仰られる通りmaxの更新が出来なくなりますね。