Database: formula_1
Question: What are the forename and surname of the driver who has the smallest laptime?
SQL:
SELECT T1.forename ,  T1.surname FROM drivers AS T1 JOIN laptimes AS T2 ON T1.driverid = T2.driverid ORDER BY T2.milliseconds LIMIT 1