具体的な式を書くために、いま"x" 以下の素数の個数をformula_6と書き、"z" 以下の全ての素数の積をformula_7とすると、この篩の操作が与える定量的な公式は