theorem Th9: :: LIOUVIL1:7

for b being Nat st b > 1 holds
|.(1 / b).| < 1