I am trying to understand the lower_bound and upper_bound in map of pairs from here.
The definitions are like below:
