A sequência (an) é definida por a1=2, a2=2 e an+1=anan−12 para n≥2. Prove que para cada n≥1 (1+a1)(1+a2)⋯(1+an)<(2+2)a1a2⋯an.