Proof of conjecture involving algebraic connectivity and average degree of graphs
scientific article; zbMATH DE number 6865816