theorem Th41: :: SURREALN:41

for n being Nat
for r being Real holds
( [/((r * (2 |^ n)) - 1)\] / (2 |^ n) < r & r < [\((r * (2 |^ n)) + 1)/] / (2 |^ n) )