equivalence of properties
Gud afternun. I have this problem to prove that these following properties are equivalent:
Nested Interval Property
Bolzano-Wierstrass theorem
Monotonic sequence property
LUB property
Heine-Borel theorem
archimedean property and cauchy convergence...