Let $k$ be an arbitrary field, we work with schemes of finite type over $k$. Does every irreducible projective scheme have a finite surjective morphism to $\mathbb{P}^n_k$? Certainly a $k$-scheme with this property is projective (as opposed to being proper but not projective) by formal properties of ample line bundles.

I would do this by projecting from sufficiently general points, and this probably works but I can't help but think there is a cleaner argument (that also doesn't require possibly assuming that the field is infinite, algebraically closed or of characteristic $0$).

Feel free to assume our schemes have basic niceness properties.