User:DavidKohler/Alon try 1/Ramanujan (functions)