Theodorus's constant