compression ของ mp4 ดีกว่า gif มากครับ ถ้าใช้ทั่วๆ ไปลองดูเว็บ gfycat.com ได้ครับ (เว็บนี้ใช้ webm)

ตัวอย่างเช่น ภาพนี้ ขนาด gif 8mb, webm 824k

ถ้าผมเข้าใจไม่ผิด การบีบอัด "video" ของ gif คือภาพต่อๆ มาจะมีภาพเฉพาะส่วนที่เปลี่ยนแปลงจากเฟรมก่อนหน้า (และการบีบอัดปกติของ gif) ในขณะที่ video format จะมีวิธีอื่นๆ ในการเข้ารหัสอีก เช่น การแปลงแมทริกซ์ นอกจากนี้ video format เองยังบีบอัดภาพนิ่งได้คุณภาพดีกว่า gif อยู่แล้ว (ลองดู webp ที่ใช้ keyframe format ของ webm มาทำเป็น format ภาพ)