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