By employing Green’s function, we obtain new Lyapunov and Hartman-type inequalities for higher-order discrete fractional boundary value problems. Reported results essentially generalize some theorems existing in the literature. As an application, we discuss the corresponding eigenvalue problems.