für n aus IN gilt ja   an =   1/2 * (  an-1 + c / an-1 ) 
also  an ≥ √c heißt dann 
also    1/2 * (  an-1 + c / an-1 ) ≥ √c    bzw 
             (  an-1 + c / an-1 ) ≥ 2√c 
   und weil alles pos. ist kannst du quadrieren
    (  an-1 + c / an-1 )2   ≥    4c 
binomi   gibt 
     an-12   +2 c  +   ( c / an-1 )2   ≥    4c 
an-12     -2 c  +   ( c / an-1 )2   ≥    0 
  (  an-1   - c / an-1 )2   ≥   0     
Quadrate sind immer nicht negativ, also ist das immer wahr.
Da alles äquivalent umgeformt wurde, gilt also auch die erste
Ungleichung.