Tekstiviesti: Constructive real analysis