How do I export a video so that it's Whatsapp-compliant?

Here’s the math to make an export hit a target size in the meantime: