Implemented bounds computation for UMax