positive definite sequence