in 1923 Hardy and Wright proposed the conjecture $\pi (m+n)<= \pi (m) + \pi (n)$. Is there any progress towards solving this conjecture?