upper bound on base