That Ramanujan conjecture is an assertion on the size of the tau-function, which has as generating function the discriminant modular form ?(q), a typical cusp form in the theory of modular forms. It was finally proven in 1973, as a consequence of Pierre Deligne's proof of the Weil conjectures. The reduction step involved is complicated.