In Audacity,

Select one:

Audio can be exported to $.mp4$ format

There are no restrictions to the sampling frequencies that users can work with

Digital audio must be acquired at $48kHz$

You follow the sequence File $>$ Save As to save a file in several audio formats

The frequency spectrum of sound can be obtained