A power series with decreasing positive coefficients has no zeroes in the disk
Let $(a_n)_{n \geq 0}$ be a strictly decreasing sequence of positive real numbers , and let $z \in \mathbb C$ , $|z| < 1$.