Pātuhitia tēnei: Constructive real analysis