Is the unit sphere in $(C[0,1], \| \cdot\|_1)$ compact? Consider the normed space $(C[0,1], \| \cdot\|_1)$ where $C[0,1]=\{f:[0,1] \to \Bbb R : f$ is continuous$\}$ and $\|f\|_1 = \int_0^1|f(t)|dt$. I'm trying to find out if the unit sphere $S=\{f \in C[0,1] : \| f \|_1 = 1\}$ is compact or not.
To prove it's not compact (I don't know if that's true or not) I was thinking of a sequence of functions $\{f_n\}$ whose graphs are triangles of base $1/n$ and height $2n$, and defined as zero elsewhere. So this triangles have constant area $1$, and then the functions have norm $1$. This sequence of functions converges pointwise to the function zero, and not uniformly. But now I'm struggling to prove that this sequence doesn't have a convergent subsequence in the metric induced by the norm (I was trying to prove that by proving that $\{f_n\}$ is not a Cauchy sequence).
Maybe there's an easier counterexample, or maybe the sphere is compact, I don't know. I hope you can give me a counterexample so I can work on it or tell me if it's compact or not in order to know what I actually have to prove. Thanks.

The unit ball of a normed space is pre-compact if and only if the space is finite-dimensional.
An explicit way to show non-compactness is as follows: let $f_n$ be the function that is zero outside of $[1/(n+1),1/n]$ and a triangle of height $2n(n+1)$ in there. Then $\|f_n\|_1=1$ for all $n$, and $\|f_n-f_m\|_1=2$ for all $n\ne m$; so no subsequence can be convergent.
