Vitalsource Technologies, Inc. Smooth Analysis In Banach Spaces