"Le corolaire du théorème des v.i indique seulement qu'il y a une unique solution."
cos(0) = 1, cos(1001 pi) = -1, donc par le théorème des v.i., il y a un unique x dans ]0, 1001pi[ tel que cos(x) = 0 ???
Sinon, f'(x) = e^x+1/x c'est clairement > 0 sur ]0, +inf[, donc f est clairement strictement croissante.