Ollivier–Ricci curvature and the spectrum of the normalized graph Laplace operator

We prove the following estimate for the spectrum of the normalized Laplace operator on a finite graph G,