Page:Elements of the Differential and Integral Calculus - Granville - Revised.djvu/43

Rh Before proving these theorems it is necessary to establish the following properties of infinitesimals.

To prove this we must show that the numerical value of this sum can be made less than any small positive quantity (as $$\scriptstyle{\epsilon}$$) that may be assigned (§15). That this is possible is evident, for, the limit of each infinitesimal being zero, each one can be made numerically less than $$\scriptstyle{\frac{\epsilon}{n}}$$ ($$\scriptstyle{n}$$ being the number of infinitesimals), and therefore their sum can be made numerically less than $$\scriptstyle{\epsilon}$$.

For the numerical value of the product can always be made less than any small positive quantity (as $$\scriptstyle{\epsilon}$$) by making the numerical value of the infinitesimal less than $$\scriptstyle{\frac{\epsilon}{c}}$$.

For the numerical value of the product may be made less than any small positive quantity that can be assigned. If the given product contains $$\scriptstyle{n}$$ factors, then since each infinitesimal may be assumed less than the $$\scriptstyle{n}$$th root of $$\scriptstyle{\epsilon}$$, the product can be made less than $$\scriptstyle{\epsilon}$$ itself.

For if limit $$\scriptstyle{v=l}$$, and $$\scriptstyle{k}$$ is any number numerically less than $$\scriptstyle{l}$$, then, by definition of a limit, $$\scriptstyle{v}$$ will ultimately become and remain numerically greater than $$\scriptstyle{k}$$. Hence the quotient $$\scriptstyle{\frac{\epsilon}{v}}$$, where $$\scriptstyle{\epsilon}$$ is an infinitesimal, will ultimately become and remain numerically less than $$\scriptstyle{\frac{\epsilon}{k}}$$, and is therefore by (2) an infinitesimal.

Proof of Theorem I. Let $$\scriptstyle{v_1,v_2,v_3,\cdots}$$ be the variables, and $$\scriptstyle{l_1,l_2,l_3,\cdots}$$ their respective limits. We may then write where $$\scriptstyle{\epsilon_1,\epsilon_2,\epsilon_3,\cdots}$$ are infinitesimals (i.e. variables having zero for a limit). Adding(A)