The top documents tagged [formal aspects of limits]