Next, we have to assume that the costs of over-fitting are at least of order \(\overline{\sigma }^2 \log \log \overline{\lambda }\) ; see the discussion after Assumption REF . One can show that this is satisfied by optimal partitioning; see for instance Lemma REF  in the supplementary material which relies on [1]}.
