6.6 从有理数到实数(引子)