lim x·cos(1/x), x→0