Constructivist analysis

Most of mathematical analysis can be constructed without the use of methods deemed unacceptable by constructivists. However there are some very useful theorems provable only using the law of excluded middle or reductio ad absurdum such as the existence of a least upper bound. This is why most mathematicians shun constructivism.