>>993
です。
具体的なとり方としてはアルキメデスの公理から得られる。