for n being Nat
for r being Real st r is irrational holds
0 < (scf r) . (n + 1)