2 つの任意の実数 x と y が x<y を満たすとする。
x<r<y を満たす有理数 r が存在すること,および 2 が無理数であることを既知として,x<z<y を満たす無理数 z が存在することを示せ。
バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。