What is the highest average for teams ranked higher than 9?
CREATE TABLE "2012_ncaa_football_attendance_leaders" (
  "rank" real,
  "team" text,
  "games" real,
  "total" real,
  "avg" real
);
SELECT MAX("avg") FROM "2012_ncaa_football_attendance_leaders" WHERE "rank">9;