I am going through Normal Subgroup Reconstruction and Quantum Computation Using Group Representations by Hallgren et al.
In the proof of the theorem $6$ of the paper on page 632, the authors go on proving the difference between the probabilities of sampling all irreps, $|p - q|_1$ of a subgroup inside the symmetric group $S_n$.
I want to compute the same bound for the symmetric group $S_{2 n}$. Should I just replace the $n$ in $2^{-\Omega(n)}$ and make it $2^{-\Omega(2n)} = 2^{-\Omega(n)}$?
Or, do I have to work it out from the scratch as follows?
$$ | p - q|_1 = \sum_\rho | p_\rho - q_\rho| \nonumber\\ \le \sum_\rho \frac{d_\rho}{\left(2 n\right)!} 2^{O\left( n\right)} n^{\frac{n}{2}} \nonumber\\ \le \sum_\rho \frac{\sqrt{\left(2n\right)!}}{\left(2 n\right)!} 2^{O\left( n\right)} n^{\frac{n}{2}} \nonumber\\ \le \frac{2^{O\left( n\right)} n^{\frac{n}{2}}}{\sqrt{\left(2 n\right)!}} \nonumber\\ = \frac{2^{O\left( n\right)} n^{\frac{n}{2}}\sqrt{\left(2 n\right)!}}{\sqrt{\left(2 n\right)!}\sqrt{\left(2 n\right)!}} \nonumber\\ = \frac{2^{O\left( n\right)} n^{\frac{n}{2}}\sqrt{\left(2 n\right)!}}{\left(2 n\right)!} \nonumber\\ = \frac{2^{O\left( n\right)} n^{\frac{n}{2}}\sqrt{\left(2 n\right)^{2n}}}{\left(2 n\right)!} \nonumber\\ = \frac{2^{O\left( n\right)} n^{\frac{n}{2}}\left(2 n\right)^{n}}{\left(2 n\right)!} \nonumber\\ = \frac{2^{O\left( n\right)} n^{\frac{n}{2}}n^{n}}{\left(2 n\right)!} \nonumber\\ = \frac{2^{O\left( n\right)} n^{\frac{3n}{2}}}{\left(2 n\right)!} \nonumber\\ = \frac{2^{O\left( n\right)} n^{\frac{3n}{2}}}{\left(2 n\right)^{\left(2 n\right)}} \nonumber\\ = \frac{2^{O\left( n\right)} n^{\frac{3n}{2}}}{ n^{2 n}} \nonumber\\ = \frac{2^{O\left( n\right)} }{ n^{\frac{n}{2}}} \nonumber\\ = \frac{2^{O\left( n\right)} }{ 2^{-\frac{n}{2}} n^{\frac{n}{2}}} \nonumber\\ = \frac{2^{O\left( n\right)} }{ \frac{n}{2}^{\frac{n}{2}}} \nonumber\\ \le \frac{2^{O\left( n\right)} }{ \left(\frac{n}{2}\right)!} \nonumber\\ \lll 2^{-\Omega \left(n\right)} $$