若方程㏑x+2x-10=0的解为x₁,则不小于x₁的最小整数是_____