CREATE TABLE table_name_30 (avg INT, rank INT)

What is the highest average for teams ranked higher than 9?
SELECT MAX(avg) FROM table_name_30 WHERE rank > 9
SELECT MAX("avg") FROM "table_name_30" WHERE "rank" > 9