theorem Th17: :: DIOPHAN1:17

for n being Nat
for r being Real st r is irrational & n is natural odd number holds
r < ((c_n r) . n) / ((c_d r) . n)