la radice quadrata di un numero reale y ≥ 0