>よって，x 以上の要素が x 個以上現れる最大の x は，A x ≥x が成り立つ最大の x であり，A xを順番に見ていくことで求めることができます．

ここの解説、AiがAi個以上現れるとすると、Ai >= (Ai以上の数)になるんじゃないのかよ