Although there are many significant differences, the structure of our proof has its origins in the proof of [1]}. Prior to proving the proposition, we cite Lemma 2 from [1]} in the conditional case. It gives an upper bound on \(\widetilde{L}_{a,n}\) .
