ルート入れ子(続きの続き)

正の収束値 a が存在するなら
  a = (2a)^0.5
で a = 2 

か。↑のとあわせて「正の収束値が存在する」&&「その収束値は2」って言えるか。
数学は頭の体操になるな。