How can I calculate limit $$\lim_{x\to \pi/4}\cot(x)^{\cot(4*x)}$$ without using L'Hôpital's rule?
What I have tried so far:
I tried to use the fact that $\lim_{\alpha\to 0}(1 + \alpha)^{1/\alpha} = e$ and do the following: $$\lim_{x\to \pi/4}\cot(x)^{\cot(4 \cdot x)} = \lim_{x\to \pi/4}(1 + (\cot(x) - 1))^{\cot(4 \cdot x)} = \lim_{x\to \pi/4}(1 + (\cot(x) - 1))^{\frac{1} {\cot(x) - 1} \cdot (\cot(x) - 1) \cdot \cot(4 \cdot x)} = \lim_{x\to \pi/4}e^{(\cot(x) - 1) \cdot \cot(4 \cdot x)} = e^{\lim_{x\to \pi/4}{(\cot(x) - 1) \cdot \cot(4 \cdot x)}} $$ But I have problems calculating limit $$\lim_{x\to \pi/4}{(\cot(x) - 1) \cdot \cot(4 \cdot x)}$$ I tried to turn $\cot(x)$ into $\frac{\cos(x)}{\sin(x)}$ as well as turning it into $\tan(x)$, but I do not see any workaround afterwards.
I would appreciate any pieces of advice. Thank you!
$$\lim_{x\to\pi/4}\cot x^{\cot4x}=\left(\lim_{x\to\pi/4}(1+\cot x-1)^{1/(\cot x-1)}\right)^{\lim_{x\to\pi/4}{\cot4x(\cot x-1)}}$$
The inner limit converges to $e$
For the exponent, $$\lim_{x\to\pi/4}\cot4x(\cot x-1)=\lim_{x\to\pi/4}\dfrac{\cos4x}{\sin x}\cdot\lim_{x\to\pi/4}\dfrac{\cos x-\sin x}{\sin4x}$$
Now
$$\lim_{x\to\pi/4}\dfrac{\cos4x}{\sin x}=\dfrac{\cos\pi}{\sin\dfrac\pi4}=?$$
Finally
Method$\#:1$
$$F=\lim_{x\to\pi/4}\dfrac{\cos x-\sin x}{\sin4x}=\lim_{x\to\pi/4}\cos x\cdot\lim_{x\to\pi/4}\dfrac{\cot x- 1}{\sin4x}=\dfrac1{\sqrt2}\cdot\lim_{x\to\pi/4}\dfrac{\cot x- \cot\dfrac\pi4}{\sin4x-\sin\pi}$$
Method$\#:1A$
$$F=\dfrac1{\sqrt2}\cdot\dfrac{\dfrac{d(\cot x)}{dx}}{\dfrac{d(\sin4x)}{dx}}_{\text{at } x=\pi/4}$$
Method$\#:1B$
$$F=\dfrac1{\sqrt2}\cdot\lim_{x\to\pi/4}\dfrac1{\sin x\sin\dfrac\pi4} \cdot\lim_{x\to\pi/4}\dfrac{\sin\left(\dfrac\pi4-x\right)}{\sin4\left(\dfrac\pi4-x\right)}=\dfrac{\sqrt2}4$$
Method$\#:2$
set $\dfrac\pi4-x=y$ $$F=\sqrt2\lim_{x\to\pi/4}\dfrac{\sin\left(\dfrac\pi4-x\right)}{\sin4x}=\sqrt2\lim_{y\to0}\dfrac{\sin y}{\sin4\left(\dfrac\pi4-y\right)}=\dfrac{\sqrt2}4$$