The proof for why $l^p$ is a metric space doesn't ever use any property of p being greater than 1. On top of that there is no counterexample for the metric, like there is for the norm. The metric is defined as
Where $n$ is finite, (obviously this wont hold if we permit infinite sequences).
Is there a proof/counterexample that this is a metric/not?