Ask HN: Mobile landing page video format and software

I want to add a mobile optimized video to my landing page to showcase the product, but I am not sure how to best approach this. If you have used video or animation on your landing page, what software and file format have you used?