X2014. 小慕的最大操作限制

小慕正在处理一个长度为n的项目数据数组。他可以对数组执行一种操作：将数组中的每个元素与某个值x取最小值（即min(x, arr[i])）。小慕希望找到一个最大的x，使得操作后整个数组的总和不超过给定的预算tot。 如果数组的原始总和已经小于或等于tot，则输出-1。