>>4
数学科だがコーシー列で完備化をやったな