无理数的幂本来就是用有理数的幂进行逼近的……
由于实数的完备性,无限逼近的值就是精确值.