Exercise 3, § 2

Show that, in every Hausdorff and non complete prehilbertian space $E$, there exists a closed hyperplane whose orthogonal subspace in $E$ reduces to 0. Deduce that if $E$ satisfies the first axiom of countability, then there exists a non total orthonormal family in $E$ which is not contained in any orthonormal basis.