Follow the platform config sheet - the number of users/ports is really not a strict formula - depends on how you'll be using the system (i.e. auto attendant needs more ports than DID only etc...). But the platform sheets should tell you what you need to know.