It takes twice the file size to double the framerate without reducing visual quality of the original frames, whenever I try, with HEVC, AV1, etc. I can take a lower framerate video, run some software of constant size to interpolate the frames, and play back at a higher rate, but in practice I can't save that higher framerate video to a new mp4 file with small or constant size increase. It's got to be about linear.