Closed siwelwerd closed 2 months ago
@AbbyANoble @tdegeorge talk about this - I have added an aside to that see that activity.....
Consensus from the discussion today was to expand Remark 5.1.14 a little, and then move 5.1.14 and 5.1.15 to the bottom. @tdegeorge is going to add an activity into 5.7 that really motivates $e$ (see #314).
<term>
.I don't know how much we want to get into motivating $e$ here, or if that should be an appendix, or what. Active Prelude devotes a whole section to this. My general inclination is that nothing should be unmotivated, but this doesn't quite feel like the place. Maybe we could expand Activity 5.7.9 to continuous compounding to motivate the definition $e=\lim _{n \rightarrow \infty} \left(1+\frac{1}{n}\right)^n$ (if I remember right, this is actually the application that motivated Bernoulli to consider $e$ in the first place).