# Thread:

1. ## Prove the definition of e

Prove that
$lim_{h-->0}$ $(1+h)^{1/h}$= e

given that: If g is continuous at c and f is continuous a g(c), then the composition f o g is continuous at c

2. Originally Posted by wopashui
Prove that
$lim_{h-->0}$ $(1+h)^{1/h}$= e

given that: If g is continuous at c and f is continuous a g(c), then the composition f o g is continuous at c
By definition, we want $e^x$ to be the function that is its own derivative. We want to try to find what value $e$ is.

So let $f(x) = e^x$

$f'(x) = \lim_{h \to 0}\frac{f(x + h) - f(x)}{h}$.

So $f'(x) = \lim_{h \to 0}\frac{e^{x + h} - e^x}{h}$

$= \lim_{h \to 0}\frac{e^xe^h - e^x}{h}$

$= \lim_{h \to 0}\frac{e^x(e^h - 1)}{h}$

$= e^x \lim_{h \to 0}\frac{e^h - 1}{h}$.

So for $f(x)$ to be equal to $f'(x)$, we would require

$\lim_{h \to 0}\frac{e^h - 1}{h} = 1$

$\lim_{h \to 0}(e^h - 1) = \lim_{h \to 0}h$

$\lim_{h \to 0}e^h - \lim_{h \to 0}1 = \lim_{h \to 0}h$

$\lim_{h \to 0}e^h = \lim_{h \to 0}1 + \lim_{h \to 0}h$

$\lim_{h \to 0}e^h = \lim_{h \to 0}(1 + h)$

$\lim_{h \to 0}(e^h)^{\frac{1}{h}} = \lim_{h \to 0}(1 + h)^{\frac{1}{h}}$

$\lim_{h \to 0}e = \lim_{h \to 0}(1 + h)^{\frac{1}{h}}$

$e = \lim_{h \to 0}(1 + h)^{\frac{1}{h}}$.

3. Originally Posted by wopashui
Prove that
$lim_{h-->0}$ $(1+h)^{1/h}$= e
given that: If g is continuous at c and f is continuous a g(c), then the composition f o g is continuous at c
I find that definition rather bazaar. By that I mean beginning students do not have the tools to deal with that abstraction.
My all time favorite calculus textbook is the first edition of Gillman & McDowell, 1972.
It is normal is size( not the dictionary size), does integral as betweeness, and has this definition of e.
The number $e$ is defined as the number such that $\int_1^e {\frac{{dx}}{x}} = 1$
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 26, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 20, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.957248330116272, "perplexity_flag": "middle"}