Co-Frobenius Hopf algebras and the coradical filtration