I whether right or wrong tend to reserver 10% OS when you get to around the 64GB mark. But i round up to the nearest 2GB. So a 64GB server i would set to 56GB for SQL, leaving 8GB for OS etc.