全てのa(n)についてa(n)^2+a(n)-1≧0を満たすようなa(1)だよね?