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