Hyperreal differentiation with an idempotent ultrafilter

Samuel Allen Alexander and Bryan Dawson

In light of the discussion on page 1 of differentiating numbers, we choose a way to define this and prove the Chain Rule.