Determining_the_size_of_a_real_number - NISHIO Hirokazu's Scrapbox (Auto-translated from Japanese)