I was curious if the statement of Sard’s Theorem was the best possible. Curiously, the best answer I could find was on Everything 2, which describes an improvement in terms of Hausdorff measure zero sets.