CREATE TABLE table_16425614_4 (official__number INT, tf1__number VARCHAR)

Name the most official number for tf1 # being 42
SELECT MAX(official__number) FROM table_16425614_4 WHERE tf1__number = 42
SELECT MAX("official__number") FROM "table_16425614_4" WHERE "tf1__number" = 42