How to prove that square-summable sequences form a Hilbert space? Let $l^2$ be the set of sequences $x = (x_n)_{n\in\mathbb{N}}$ ($x_n \in \mathbb{C}$) such that $\sum_{k\in\mathbb{N}} \left|x_k\right|^2 &lt; \infty$, how can I prove that $l^2$ is a Hilbert space (with dot-product $\left(x,y\right) = \sum_{k\in\mathbb{N}} x_k\overline{y_k}$). This is a standard textbook exercise: apparently this is easy and, even to me, it seems self-evident. However, I don't know what to do with the infinite sum.
Show that your definition $\left(x,y\right) \equiv \sum_{k\in\mathbb{N}} x_k\overline{y_k}$  Satisfies all the inner product axioms. 

Hint: axioms are 


conjugate symmetric
linearity in one of the arguments
Positive definite: $(u,u)\geq 0$ equality iff u=0


Now show that $F(x) = (x,z)$ defines a bounded linear functional $F$ on your inner product space $X$ of norm $||z||$. If the mapping $z\rightarrow F$ (  $X\rightarrow X&#39;$ where X' is space of continuous linear functionals) is surjective, it must be a hilbert space.

EDIT OK, since you're worried about infinites  let me share something I discovered recently in a book called the Cauchy Schwarz masterclass, the author calls it the principle of qualitative inference.

Given: $\sum_{k\in\mathbb{N}} a_k^2 \lt \infty$  and $\sum_{k\in\mathbb{N}} b_k^2 \lt \infty$ then it can be shown that $\sum_{k\in\mathbb{N}} a_k  b_k \lt \infty$

For large k 

$a_k b_k \leq \frac{1}{2} (a_k^2+b_k^2)$

$\Rightarrow \sum_{k\in\mathbb{N}} a_k b_k \leq \sum_{k\in\mathbb{N}}  \frac{1}{2} (a_k^2+b_k^2)$

This already gives you a glimpse at the truth of the assertion. 

(On a sidenote, you can go on to introduce $\hat{a}_k=\frac{a_k}{\sqrt{\sum_{k\in\mathbb{N}} a_k^2}}$ 
and derive the Cauchy inequality!)

Now do for conjugate symmetric what was done for real symmetric.
This is more of an addendum for later, when you dig deeper into functional analysis: 

Complex analysis tells us, that every holomorphic function can be represented by its Taylor series, locally. Actually, the space of square summable complex numbers is, as a Hilbert space, isomporph to all holomorphic functions on the unit disc $D := \{ z \in \mathbb{C}, |z| \le 1 \}$, that are square integrable:
$$
\int_D |f(z)|^2 dz \le \infty
$$ 
with the obvious scalar product
$$
(f, g) = \int_D \bar f (z) g(z) dz 
$$
via the mapping
$$
f(z) \to \sum_{i = 0}^{\infty} a_i z^i
$$
and vice versa.

It may help to compare the proof of the Hilbert space axioms for the space of sequences with the proof of the axioms for the function space (the latter needs some "advanced" knowledge of complex calculus). Some may seem to be easier, some more involved. For example it is easy to see that the scalar product actually is a scalar product, without the need to handle infinite sums.