²Szeidl’s proof supplants the analysis in an earlier draft of this paper, which conjectured that such a result held and provided supportive simulation evidence.