Lehmer's totient problem asks whether there exists any composite number n such that ϕ(n) | (n − 1), where ϕ is Euler totient function. It is known that if any such n exists, it must be Carmichael and n > 10 30 . In this paper, we develop a new approach to the problem via some recent results in group theory related to a function ψ (the sum of order of elements of a group) and show that if kϕ(n) = n − 1 for some integer k, then k must be ≥ 3, and actually, if 5, 7, 11, 13 |n, k ≥ 4. This implies that any counterexample must be such that n > 10 8171 and ω(n) ≥ 1991.