Added lemma for reviving our optimal bounds
Back to the optimal results
Getting to the end of this branch