Vitalsource Technologies, Inc. Basic Real Analysis