Caractérisation de la borne inf : si a = inf A, alors pour tout e > 0 il existe b € A tel que a =< b <b+e (a est un majorant, et c'est le plus petit).
Traduisons ça avec e = a.
Il existe x1 € A tel que a =< x1 < 2a.
En fait on a a < x1 < 2a. En effet x1 est différent de a puisque a n'appartient pas à A par hypothèse, et x1 appartient à A.
On a a < x1, donc à nouveau par caractérisation de la borne inf, il existe x2 € A tel que a =< x2 < x1. En fait, pour la même raison, on a a<x2<x1.
Donc finalement a<x2<x1<2a. Donc x1-x2 < a. Or x1-x2 € G puisque c'est un groupe et x1-x2 > 0. Donc x1-x2 € A. Ce qui contredit le fait que a est la borne inf. Donc nécessairement a € A. Après reste à montrer par double inclusion que A = aZ.