E' difficilissimo.
Se gli n + 1 numeri sono tutti 1 non c'é niente da dimostrare : la somma é n + 1 e vale l'uguaglianza.
Se invece non é così, ci saranno sicuramente due elementi uno maggiore e uno minore di 1, altrimenti
il prodotto sarebbe a sua volta minore ( o maggiore ) di 1.
Non si perde in generalità se tali due elementi sono gli ultimi, a_n e a_n+1.
Ad esempio an < 1 e a_n+1 > 1
Raggruppando in prodotto tali due elementi
a1 a2 ... a_n-1 (a_n a_n+1)
si hanno n numeri positivi il cui prodotto é 1.
Per ipotesi di induzione allora
a1 + a2 +... + a_n-1 + an a_n+1 >= n
da cui si trova subito
a1 + a2 + ... + an >= n + an - an a_n+1
a1 + .... + a_n+1 >= n +1 - 1 + an + a_n + 1 - an a_n+1
Sn+1 >= n + 1 - (1 - an) + a_n+1 (1 - an)
Sn+1 >= n + 1 + (1 - an) (a_n+1 - 1)
e l'ultimo prodotto é positivo ( o nullo se sono tutti 1 ) per cui segue
Sn+1 >= n + 1
e la tesi é provata.