I am unable to understand the solution provided in the editorial of this problem. I read the explanations in the comments but can't seem to understand them either.

Specifically, I am stuck on this part of the editorial —

"For every arrangement, the minimizing player can guarantee himself the result of at most "

I don't see the logic behind this formula. Can someone please help me? Thank you! :)