SMS versenden: Constructive real analysis