El programa de optimización demuestra obviamente que $P=0.7$ es lo mejor que se puede conseguir, pero eso es una prueba de la máquina. Aquí hay una prueba más "tradicional" :)
Que los 5 números sean $a \le b \le c \le d \le e$ . Si sólo hay un triplete que falla (es decir, cuya suma $<1$ ) entonces tiene que ser $\{a,b,c\}$ , mientras que si hay un segundo triplete de fallos entonces tiene que ser $\{a,b,d\}$ porque cualquier otra suma de tripletes $\ge a+b+d \ge a+b+c$ .
Supongamos, para una posterior contradicción, que hay trillizos que fallan de 0 a 2. Entonces, en particular, los siguientes dos tripletes son ambos exitosos:
$$a+c+d \ge 1$$
$$a+b+e \ge 1$$
La suma de estos dos implica: $2a + b + c+ d + e \ge 2$ . Sustituyendo $a+b+c+d+e = 1.6$ tenemos: $a \ge 2 - 1.6 = 0.4$ pero como $a$ es el número más pequeño, la suma $a+b+c+d+e \ge 5a \ge 2$ , lo cual es una contradicción.
Por lo tanto NO hay o a 2 tripletas que fallan, es decir, hay al menos 3 tripletas que fallan. Dado que hay ejemplos constructivos con exactamente 3 tripletas que fallan, estos deben ser óptimos.
Por cierto, el mismo argumento también muestra cómo aumentar la suma $S$ (más allá de $1.6$ ) s.t. se pueden tener menos tripletas fallidas. Combinando $a \ge 2 - S$ y $S \ge 5a$ implica: $S \ge 5 (2-S)$ o $6S \ge 10$ o $S \ge \frac{10}{6} = \frac{5}{3} = 1.666...$ Curiosamente, con este valor de $S$ la asignación óptima es que cada número sea $\frac{1}{3}$ y las 10 sumas de triples $=1$ Así que $P=1$ . En otras palabras, la probabilidad óptima $P$ salta de $0.7$ a $1$ en $S=\frac{5}{3}$ y no hay ningún valor de $S$ para el que el óptimo $P$ es $0.8$ (dos trillizos fallidos) o $0.9$ (un triplete fallido).