add upper_count_bound

We want not just lower but also upper count bounds on discretization