ProofWiki:Sandbox/Template

$\leq\frac{[\prod {({n^j}-1)}_{j=1}^{k-2}]b}{2}\leq b/n^{(k-1)}.$