Азиатско-Тихоокеанская математическая олимпиада, 2024 год

$n$ — натурал, ал $a_1,a_2,\ldots,a_n$ — нақты оң сандар болсын. Келесі теңсіздікті дәлелдеңіз: $$\sum_{i=1}^n\frac1{2^i}\left(\frac2{1+a_i}\right)^{2^i} \ge \frac2{1+a_1a_2\ldots a_n} - \frac1{2^n}.$$