lim x→∞ {cos(1/x)}^x^2