A function is developed which describes the cost of executing a program when using demand paging. The function includes the cost of paging operations and memory usage. Several theorems are proven which determine, in a ...