0914dfb896497592.tex
1: $ in Lemma~2.15]{Adrian2021ConvergencePiecewise} proves that $