No se pide localizar el máximo —la ecuación
no se resuelve con funciones elementales—, sino demostrar que existe. El argumento es el teorema de Weierstrass aplicado a un intervalo cerrado bien elegido dentro de
.
i) Se elige el intervalo
, que está contenido en
porque
. En él la función es continua: el factor
es un polinomio y
es continua en todo punto donde el coseno no se anula, lo que en
no ocurre.
ii) Se evalúa la función en los extremos y se estudia su signo dentro:
Para
se cumple
, y también
por estar
en el primer cuadrante. El producto de dos números positivos es positivo:
iii) Por el teorema de Weierstrass, una función continua en un intervalo cerrado y acotado alcanza en él su máximo absoluto. Ese máximo no puede alcanzarse en
ni en
, porque allí la función vale 0 y en el interior toma valores positivos. Por lo tanto se alcanza en un punto
.
iv) En
la función es derivable y tiene un máximo, luego
y ese máximo absoluto de
es, en particular, un máximo relativo de
. Como
, queda demostrado lo pedido.

La función tiene, pues, un máximo relativo en el intervalo
. Resolviendo numéricamente
se obtiene
, con
, pero el enunciado no pide ese valor.