Question regarding the solution of Codility's MinMaxDivision, that uses binary search to solve it

Question

Based on online solutions, I almost figured out how to solve Codility\'s MinMaxDivision, but there\'s one detail in the solution that I\'m struggling to confirm.

The