Quelle est la plus longue séquence possible strictement décroissante d'entiers positifs dont le premier terme est 2004 et dont les plus grands communs dénominateurs (PGCD) successifs des termes consécutifs pris 2 à 2 sont strictement croissants ?

 Solution