You can always export to 4k resolution. But only vector graphics, e.g. text or effects are scale with output quality.
BTW: We are adding Super Resolution feature in the next release, which will try to add detail to the original low resolution video clip through machine learning algorithm.