单调有界定理的康托实数定义之证明

根据实数的康托定义，证明了实数的完备性定理之一──单调有界定理。