Show that if a Normed Space X has a Schauder Basis => X is Seperable.
Definition of a Schauder Basis:
If a Normed Space X contains a sequence (e_n) with the property that for every x element of X there exists:
unique sequence of scalars !(alpha_n) such that: ||x-(alpha_1.e_1 + alpha_2.e_2+....+alpha_ne_n|| ---> 0
then (e_n) is called a Schauder Basis for X.