Once again, many thanks for your reply Lex. I feel like I've gone down the rabbit hole- one answer leads to many more questions. I suppose this is the nature of inquiry. Is there a way I can save this thread as a PDF for future reference?This was my proof for (c*):
logax is continuous at x=k>0
so logau→klimu=u→klimlogau
∴logax→∞lim(1+x1)x=x→∞limloga(1+x1)x
Expanding on this.
To be able to 'reverse the order of the function and the limit', we want the limit to exist and the function to be continuous at the value of the limit.
You can use the ready-made theorem:
View attachment 28321
In the present case, f(X)=logX and g(x)=(1+x1)x
Unfortunately logX is not continuous at X=0, so we have to show that x→∞lim(1+x1)x exists and =k>0.
(1+x1)x>1 for all x>0, therefore if the limit exists, x→∞lim(1+x1)x=k≥1>0
The only remaining problem is to prove that the limit exists.
It is sufficient to prove that (1+x1)x is increasing, and bounded above by e as there is a theorem which says that an increasing function, bounded above, converges to a limit.
X>1
lnX+X1−1 is strictly increasing and therefore >0, when X>1(the derivative X1−X21>0,X>1 and ln1+11−1=0)
∴ln(xx+1)+x+1x−1>0 (decreasing), x>0 (since X=xx+1>1, (decreasing), x>0)
i.e. ln(1+x1)−1+x1>0, (decreasing), x>0
i.e. dxd[xln(1+x1)]>0, (decreasing), x>0
∴ln(1+x1)x increasing, x>0
∴(1+x1)x increasing, x>0 (since ex increasing)
Now ex−x−1 is strictly increasing, x>0(the derivative ex−1>0,x>0)
→ex−x−1>0,x>0(since strictly increasing and e0−0−1=0)
e1/x−x1−1>0,x>0∴e1/x>1+x1,x>0
(1+x1)x<e,x>0
As for Latex, you're probably best looking at examples that others have done. You should be able to right-click on a formula and show the Latex. However due to a recent upgrade on this site, this doesn't work at the moment. You can use it on other sites though to see their Latex.
You can see the Latex on this site by hitting the reply button however.
Ken