Vitalsource Technologies, Inc. Elementary Functional Analysis