A cloud can be defined as a pool of computer resources that can host a variety of different workloads, ranging from long-running scientific jobs (eg, modeling and simulation) to transactional work (eg, web applications). A cloud computing platform dynamically provisions, configures, reconfigures, and de-provisions servers as needed. Servers in the cloud can be physical machines or virtual machines. Cloud-hosting facilities, including many large businesses that run clouds in-house, became more common as businesses tend to out-source their computing needs more and more. For large-scale clouds power consumption is a major cost factor. Modern computing devices have the ability to run at various frequencies each one with a different power consumption level. Hence, the possibility exists to choose frequencies at which applications run to optimize total power consumption while staying within the constraints of the Service Level Agreements (SLA) that govern the applications. In this paper, we analyze the mathematical relationship of these SLAs and the number of servers that should be used and at what frequencies they should be running. We discuss a proactive provisioning model that includes hardware failures, devices available for services, and devices available for change management, all as a function of time and within constraints of SLAs. We provide scenarios that illustrate the mathematical relationships for a sample cloud and that provides a range of possible power consumption savings for different environments.