The top documents tagged [x1x1 lim f x]