Skip to main content

Is there a progress on a solution of the inequality $\pi (m+n) \leq \pi (m) + \pi (n)$

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