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