Challenge n° 6 du blog math-os : la somme de la série de terme général (1-2^(-n)^(2^k) est majorée par n+1. Sauriez-vous le prouver ?