發送短信: Constructive real analysis