theorem MacPositive: :: MOEBIUS3:6

for x, r being Real st x > 0 & r > 0 holds
Maclaurin (exp_R,].(- r),r.[,x) is positive-yielding