予想は正確には、"x" より小さいメルセンヌ素数の個数は漸近的に