拡張子が、これで良いのか疑問だがアップロードしてみる

mp4からgifへ普通に変換するとサイズがデカくなり、
その生成されたGIFを最適化で小さくしても、元のmp4からサイズが大きくなってしまうんよ
やり方が良く分からんので、こうやって上げてみる

https://i.imgur.com/BJYWx5V.gifv