Show that the least upper bound property cannot be proven from the nested interval property without the archimedean property.
I am curious as to how one could prove statements that have the same logical structure to the above. Moreover, can anyone prove the above?