>>800
そもそもセンサーの読み出しが遅いので端折ってるから低解像だけど、
4kそのものは5Dmk4で載ってるから、AVCにエンコードに回す余力がないんだろう。