I am trying to answer the question whether the subset $ x : \int_0^1{|x(s)|^2ds \leq 1, |x(t) - x(s)| \leq |t-s| }$ is precompact.
My first attempt was to try using Showder basis, however there was an $n$ in the denominator. Using criteria did not help either…