1: \begin{definition}

2: The relation $p\lesssim q$ ($p$ asymptotically smaller than $q$), means

3: $p<q(1+C\beta^\alpha\tilde{n}^\gamma)$, for fixed constants

4: $\alpha>0$, $\gamma<0$, and $C$ growing polynomial in $k$. Similarly

5: $p\gtrsim q$ means $p\geq q(1-C\beta^\alpha\tilde{n}^\gamma)$.

6: %Note this differs from and replaces the notation used in Theorem \ref{wsRecursion} from now on.

7: \end{definition}

8: