CREATE TABLE table_name_40 (overall INTEGER, round VARCHAR(255), player VARCHAR(255))
What is the highest overall for a round larger than 8 for pavol demitra?
    
SQL: SELECT MAX(overall) FROM table_name_40 WHERE round > 8 AND player = "pavol demitra"