CREATE TABLE "2012_ncaa_football_attendance_leaders" (
  "rank" real,
  "team" text,
  "games" real,
  "total" real,
  "avg" real
);

Question: What is the highest average for teams ranked higher than 9?
SQL: SELECT MAX("avg") FROM "2012_ncaa_football_attendance_leaders" WHERE "rank">9;