liminf cos(1/x) + sin(x^2)