Así, sé que esto podría escribirse como $x_1 + x_2 + ... + x_n \le 0.5 \le (1-x_1)(1-x_2)*...*(1-x_n)$ .
Y que el mayor $x_1 + x_2 + ... + x_n$ es, cuanto más pequeño $(1-x_1)(1-x_2)*...*(1-x_n)$ es.
Por lo tanto, podríamos suponer que en el peor de los casos $x_1 + x_2 + ... + x_n = 0.5$ donde una de las x es cercana a 0,5, y el resto son cercanas a 0, y entonces $(1-x_1)(1-x_2)*...*(1-x_n) = 0.5$ .
Pero eso no es una prueba adecuada.