The top documents tagged [new lowerbound estimate]