lim cos(1/y), y->0