lim ep->0 <A(u+epv),u+epv> - <Au,u> / ep
lim ep->0 <A(u+epv),u>+<A(u+epv),epv>-<Au,u> / ep
lim ep->0 <Au,u> + <Aepv,u> + <Au,epv> + <Aepv,epv> - <Au,u> / ep
lim ep->0 <Aepv,u> + <Au,epv> + <Aepv,epv> / ep
associativity:
lim ep->0 ep*<Av,u> + ep<Au,v> + ep*<Av,epv> / ep
so ep*(ep) = |ep|^2...