ターレスは亀に追いつけない、と数学者は考えているのですか?