Voici ma démo :
On vérifie que pour les 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 :
Comme et , notre dernière inégalité est équivalente à :
Ainsi
-----