Let $\alpha>0$. Then please prove that: $$\lim_{x\rightarrow+\infty}\left(\int_0^{+\infty}t^{-\alpha t+x}dt\right)\left[\sqrt{\frac{2\pi}{e^\alpha}} x^{1/2\alpha} \exp\left(\frac{\alpha}{e}x^{\frac{1}{\alpha}}\right)\right]^{-1}=1,$$ where $\exp(x):=e^x$.
(This question is asked by an undergraduate student in grade 1 and it is an exercise in a Chinese book. This question passed through a lot of people and then to me, so I do not know the name of that book.)