ah you're a mathematician I see. without loss of generality, let's assume the bottom half doesn't exist. therefore only the top half needs to be bested and the

ah you're a mathematician I see. without loss of generality, let's assume the bottom half doesn't exist. therefore only the top half needs to be bested and the task is now impossible. qed.