Let f(x) be a real-valued function, defined for −1<x<1 for which f′(0) exists. Let (an),(bn) be two sequences such that −1<an<0<bn<1 for all n and limn→∞an=0=limn→∞bn.
Prove that
n→∞limbn−anf(bn)−f(an)=f′(0). Putnamfunctionlimitdifferentiability