Looking for old theorems with no known constructive proofs

I currently have a fascination with constructive mathematics. I like learning about theorems were constructive proofs are significantly harder than non-constructive ones. An example of this is the irrationalty of the square root of 2. A constructive way to prove this is to bound it away from a rational. Please give me some theorems where constructive proofs are not known!