“…If m is positive, then from [Kim and Kim 2003] and the comparison theorem of m-Bakry-Emery tensors in [Qian 1997, Theorem 5], a (λ, n+m)-Einstein manifold is compact if and only if λ > 0. Using [He et al 2012, Theorem 1.5], the global classification of warped product Einstein manifolds with harmonic Weyl tensor, and W (∇ f, •, •, ∇ f ) = 0, Theorem 1.2 has the following corollary: Corollary 1.7.…”