代数学準備例

左辺 $0.3\overline{4}$ は右辺 $0.3414141$ より大きいです。つまり、与えられた文は常に真です。