代数学準備例

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