ProofWiki:Sandbox/Template

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