We define \(r\ge 0\) as the supremum of all the absolute values of all (complex) numbers that satisfy the assumptions of the Abelian lemma . The stated properties are the immediate consequence of the Lemma.
The radius can be computed explicetly using Cauchy-Hadamard theorem or by the ratio test.