webm und als Fallback mp4. Mit dem Video-Element ist das ganze auch ziemlich unkompliziert und elegant umzusetzen. Und webm hat einfach die besseren Komprimierungsraten gegenüber mp4 mit h264 was eben für mobile Endgeräte bandbreitentechnisch von Vorteil wäre. Und falls keine Unterstützung vorliegt kann immer noch auf das mp4 File als Fallback zurückgegriffen werden. Eine gute Zusammenfassung gibts in folgendem Artikel: https://web.dev/video-and-source-tags/