* Added implementation of upper_bound (fully proved)

        * For progressive_split mode, required for chap5 files