Open Question: how can i prove that hilbert matrix is positive definite?