superior limit cos(1/y) as y -> 0