>>623
素数定理ですね、ガウスが提唱しました