MathDB
Easy... just a long sum of tiny numbers

Source: KoMaL A. 854

June 13, 2023
inequalitiesalgebra

Problem Statement

Prove that k=0n22k2k+122k+32k<4\sum_{k=0}^n\frac{2^{2^k}\cdot 2^{k+1}}{2^{2^k}+3^{2^k}}<4 holds for all positive integers nn.
Submitted by Béla Kovács, Szatmárnémeti