Optimum pagefile size

What is the appropriate size for the pagefile on an NT 4.0 TSE server with 4-GB of physical ram? Dell configured the server with a 512-MB pagefile but could not provide a reason for choosing this size.

Disk capacity is not an issue.