si c'est le cas on modifie un petit peu la solution precedente.
montrons que quelque soit a>0, quelque soit b appartenant à IR , il exist n appartenant à IN telque na>b .
on va distinguer 2 cas .
si b>=0, alors il suffit de prendre n=[b/a]+1 qui appartient bien à IN.
si b<0 , alors b/a est un reel négatif donc il suffit de prend n'importe quel entier positif n, il va vérifié n>b/a.
Donc dans tous les cas on a l'exitence d'un entier naturel qui verifie na>b.