Retour au sujet

Avatar de Pseudo supprimé Pseudo supprimé
>>Markov
La solution est simple, il suffit de prendre
k = log10(n^2016/2016)
n = inf{n > exp(log(20160)/2016) tq log10(n^2016/2016) appartient à N} = inf(A)
L'exercice revient à montrer que l'inf est fini, et que c'est un min.

j'avoue que je comprend pas trop ta réponse à l'aide de fonction, pour moi suffit juste de trouver

n^2016 % k [2016] où k est un entier naturel