x>0 にしとくと、内側の √ が外れる。