There are several well-known mathematical statements that are 'obvious' but false (such as the negation of the Banach--Tarski theorem). There are plenty more that are 'obvious' and true. One would naturally expect a statement in the latter category to be easy to prove -- and they usually are. I'm interested in examples of theorems that are 'obvious', and known to be true, but that lack (or appear to lack) easy proofs.

Of course, 'obvious' and 'easy' are fuzzy terms, and context-dependent. The Jordan curve theorem illustrates what I mean (and motivates this question). It seems 'obvious', as soon as one understands the definition of continuity, that it should hold; it does in fact hold; but all the known proofs are surprisingly difficult.

Can anyone suggest other such theorems, in any areas of mathematics?

If $I_1,I_2,\dots$ are intervals of real numbers with lengths that sum to less than 1, then their union cannot be all of $[0,1]$. It is quite common for people to think this statement is more obvious than it actually is. (The "proof" is this: just translate the intervals so that the end point of $I_1$ is the beginning point of $I_2$, and so on, and that will clearly maximize the length of interval you can cover. The problem is that this argument works just as well in the rationals, where the conclusion is false.)