ResPubID22839, power series, Cauchy–Bunyakovsky–Schwarz inequality, Buzano inequality, de Bruijn inequality