The top documents tagged [lower bound of]