400多年前，纳皮尔对数理论