which olympic games has at least 4925 athletes?
(AND olympics.olympic_games (ge olympics.olympic_games.number_of_athletes 4925^^http://www.w3.org/2001/XMLSchema#integer))