That rather depends on which proof. Alfred North Whitehead and Bertrand Russell famously took over a thousand pages for their proof, albeit in the particularly repetitive set notation of 1910. I can barely imagine sitting through that. The normal proof in Analysis 101 is by comparison child's play.