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).

Also the vector space $C_b^\infty(X) = \cap_k C_b^k(X)$ of smooth bounded functions is a projective limit of normed spaces.