Voici ma démo :
On vérifie que pourles deux nombres ne commencent pas par un même chiffre. On notre
ce chiffre commun. On définit
et
comme le nombre de chiffres, respectivement, de
et
. On a alors ces inégalités, pour tout
:
Soit par produit :
Ou encore :
Commeet
, notre dernière inégalité est équivalente à :
Ainsi
![]()
-----