How do I make a video file smaller?

David wants to upload videos to Facebook, but the files are too big. How can he make them smaller? Leo says that all video is compressed, and it's just a matter of increasing the compression to make the file smaller to play back on the internet. He can use a codec to do that. He'll want to upload the best quality that Facebook will take. Here are Facebook's requirements.

Then, Leo recommends using Handbrake to do the compression.