If in the first inequality (3) of § 74 we put r=1/(n1), s=1/n, we see that (n1)(αn11)>n(αn1) when α>1. Thus if ϕ(n)=n(αn1) then ϕ(n) decreases steadily as n increases. Also ϕ(n) is always positive. Hence ϕ(n) tends to a limit l as n, and l0.

Again if, in the first inequality (7) of § 74, we put s=1/n, we obtain n(αn1)>αn(11α)>11α. Thus l1(1/α)>0. Hence, if α>1, we have limnn(αn1)=f(α), where f(α)>0.

Next suppose β<1, and let β=1/α; then n(βn1)=n(α1)/αn. Now n(αn1)f(α), and (Exs. XXVII. 10) αn1. Hence, if β=1/α<1, we have n(βn1)f(α). Finally, if x=1, then n(xn1)=0 for all values of n.

Thus we arrive at the result: the limit limn(xn1) defines a function of x for all positive values of x. This function f(x) possesses the properties f(1/x)=f(x),f(1)=0, and is positive or negative according as x>1 or x<1. Later on we shall be able to identify this function with the Napierian logarithm of x.

Example. Prove that f(xy)=f(x)+f(y). [Use the equations f(xy)=limn(xyn1)=lim{n(xn1)yn+n(yn1)}.]


74. Some algebraical lemmas Main Page 76-77. Infinite series