Board Thread:Anything Goes/@comment-28272355-20171026165745/@comment-26335978-20171107171729

94. The real number, again