Audacity can't find LAME library, I can't save Mp3? - Ask Dave Taylor
Download LAME for Audacity in 2021 (How to Install & Update)
MP3 Export Options - Audacity Manual
How to Convert WAV to MP3 in Audacity
Audacity tutorial: Converting to mp3 or AAC and other formats, example: Matthew Smith - epic orchestral synth music for film and game effects; Buanzo's LAME mp3 library