El límite es ciertamente óptimo (si se cumple): dejemos que $x_1= \frac{1}{2}+\varepsilon, x_n= 2-\varepsilon$ y todos los demás $x_i= 1-\varepsilon$ . (No con el mismo número $\varepsilon$ , solo hay que elegir reales positivos muy pequeños como este).
Este ejemplo también sugiere la estrategia de prueba. Podemos suponer que ninguno de los números es entero, ya que entonces una pequeña perturbación conduce a una mejora significativa. Partiremos los índices de manera que $x_1, x_2, \ldots, x_k< 1$ y el resto es mayor que $1$ . Esto es posible con la reindexación de los elementos si es necesario. Tenga en cuenta que debido a la condición $1\leq k\leq n-1$ .
Supongamos que en este último producto hay más de un término que es mayor que $2$ . A continuación, podemos mejorar la función objetivo de nuevo: sustituir uno de esos $x_i$ por $x_i-1$ y multiplicar todos los números $x_1, x_2, \ldots, x_k$ por $\sqrt[k]{\frac{x_i}{x_i-1}}$ . Tenemos que la primera $k$ los números siguen siendo exactamente los de abajo $1$ . Por aplicación sucesiva de este paso, podemos suponer que sólo uno de los números que son mayores que $1$ es mayor que $2$ .
Se puede hacer una simplificación similar si $k\geq 2$ . En ese caso, podemos sustituir primero $x_2$ por $1+\varepsilon$ y $x_1$ por $x_1x_2/(1+\varepsilon)$ , iprobando en la función objetivo.
Así que podemos suponer que $x_1<1$ , $1<x_2, \ldots, x_{n-1}<2$ y $x_n>2$ .
Otros consejos: intenta empujar esos elementos centrales cerca de $1$ mientras se mejora la función objetivo.
Una vez hecho esto, el problema tiene esencialmente una vara, ya que $x_1x_n\approx 1$ y se pueden eliminar fácilmente las partes fraccionarias en la función objetivo, para convertirlo en un simple caso de búsqueda del máximo de una función univariante.