Constructive real analysis by