Lossy audio compression is used in a wide range of applications. What compression is used in a lot of applications?