The top documents tagged [upper bound axiom]