subzero

joined 1 month ago
[–] subzero@lemmy.dbzer0.com 4 points 1 week ago* (last edited 1 week ago)

Substitute u = ah, rewrite to a × (standard def of derivative with u -> 0)? Lim h -> 0 implies u-> 0 (easily prooven using epsilon delta), so I think that should suffice?