Doing some calculus papers before going university and I found this question:
Find $\lim_{x\to\infty} \left[\frac{1}{3} \left(3^\frac{1}{x} + 8^\frac{1}{x} + 9^\frac{1}{x} \right)\right]^x$
My solution was to use AM-GM, as shown: Since $3^\frac{1}{x} + 8^\frac{1}{x} + 9^\frac{1}{x} \geq 3 \sqrt[3]{3^\frac{1}{x} 8^\frac{1}{x} 9^\frac{1}{x}} = 3 \cdot 6^\frac{1}{x}$, it follows that $\lim_{x\to\infty} \left[\frac{1}{3} \left(3^\frac{1}{x} + 8^\frac{1}{x} + 9^\frac{1}{x} \right)\right]^x \geq \lim_{x\to\infty} \left[\frac{1}{3}\cdot 3 \cdot 6^\frac{1}{x} \right]^x=6$. Equality holds as $\lim_{x \to\infty} 3^\frac{1}{x} = \lim_{x \to\infty} 8^\frac{1}{x} = \lim_{x \to\infty} 9^\frac{1}{x}$
Is this solution rigorous enough? Or what would be a better way (if any) of solving this?
Thanks