It is not known at this moment whether this statement is true or false. However, its particular case π(2x) ≤ 2π(x), also known as Landau’s inequality, was proved by E. Landau [5] for big
enough x. Later, J. B. Rosser and L. Schoenfeld [7] managed to prove this inequality for all
x ≥ 2.