Obviously functoriality of arbitrary high symmetric power lifts of automorphic forms on GL(2) will lead to the Ramanujan conjecture. But I guess that is too strong for Ramanujan. I came across some statement online some months back that Langlands observed something much weaker(but still about symmetric powers) will also imply Ramanujan conjecture.
What's Langlands' original observation?