ani = Manipulate[
      Plot[Sin@x, {x, 0, a}, 
       Epilog -> {Red, PointSize@0.015, Point[{a, Sin@a}]}, 
       Ticks -> {Range[0, 2 \[Pi], \[Pi]/4], {-1, 0, 1}}, 
       PlotRange -> {{0, 2 \[Pi] + 1/2}, {-3/2, 3/2}}], {a, 0.1, 2 \[Pi]},
       ControlPlacement -> Top]

For the above animation, we use the following code to extract the corresponding animated visualization video.

Export[SystemDialogInput["FileSave", "ani.mp4"], ani, 
 "ControlAppearance" -> None, "time" -> None, FrameRate -> 60, 
 VideoEncodingOptions -> <|"Codec" -> "Apple ProRes 4444"|>]

When the extracted video is viewed on a large screen or zoomed in on a computer, several parts appear blurry. The axes become unclear, the ticks on the axes are no longer sharp, and the animated curves also lose clarity. How can this be addressed to make these elements clearer, or is there a way to export the video in high definition—such as 2K or 4K resolution?