Harmonic (1 + 1) = (Harmonic 1) + (1 / (1 + 1)) by Harmon1
.= 3 / 2 by Harm1 ;
hence Harmonic 2 = 3 / 2 ; :: thesis: verum