\sum_{n=1}^{+\infty}\ln(1+e^{-2^n})\leq \sum_{n=1}^{+\infty}e^{-2^n}