Sandbox:DavidKohler/Relativized Alon Conjecture/Ramanujan (functions)