slt a tout le monde
juste une indication
il ya 2 cas :
pour a=p/q ===>(p,q) qui verifient ca
si a=p'/q' ====>lp'q-pql/qq'<=1/q² avec q,q'>0
or p/q#p'/q'===> pq'-pq'#0===> lp'q-pq'l>=1
dnc en verra q<=q' simple a verifier
dnc on conclus pour le p dnc l'inegalite aussi
et merci