What is the smallest round to have a record of 4-0?
CREATE TABLE "boxing_record" (
  "result" text,
  "record" text,
  "opponent" text,
  "method" text,
  "event" text,
  "round" real,
  "location" text
);
SELECT MIN("round") FROM "boxing_record" WHERE "record"='4-0';