>>593
a1などは整数なので、a1≦a2⇔a1<a2+1です