MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

The spaces of sequences of real or complex numbers, $(l^p,||·||_p)$, are not pre-Hilbert spaces unless $p=2$.