To me, a “university-level” problem is more like this:
Let W be an infinite-dimensional normed linear space over the real numbers. Use the Baire Category Theorem to show that if W is not countable-dimensional then W is not complete.
The above is a typical problem from the 3rd year real analysis course I took in the fall.