Buenos días,

Para exportar en 4k tiene que ir a Archivo, Exportar película como... video como Windows media video, Mpeg-4, etc. En la ventana que aparece, seleccionar en los preajustes HDTV 1920x1080, y presionando sobre el botón con tres puntos al lado de Resolución, establecer manualmente la resolución de 3840x2160.

Un saludo,