https://www.youtube.com/watch?v=BVF80BJWgTY&;t=90s
この先生の講義でも不思議と
ゼノンのパラドックス、アキレスと亀の問題が出てくる。
昔から実数の問題には、あれが必ず出てくるんだろうな。