theorem Problem50: :: NUMBER06:17

ex f being Fibonacci-valued sequence of REAL st
( f is increasing & f is with_all_coprime_terms )