>>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)
(de sorte que n^2016 = 2016.10^k)
L'exercice revient à montrer que l'inf est fini, et que c'est un min.

c'est mieux de calculer les entiers un par un