Page "Constructive analysis" Paragraph 23

Again, this is classically equivalent to the full least upper bound principle, since every set is located in classical mathematics.