for a being Real holds upper_bound (left_open_halfline a) = a