Shant writes:
"We use non-standard analysis to model two simple dynamic
systems. System 1 is described by the equation dx/dt = - x.
System 2 is described by the equation dx/dt = - (x ^ N) , for
a positive integer N. For each of these systems, we want to
show that the solution reaches an infinitesimal value as the
system progresses towards infinity."