Make a formula to calculate REDIS size for X users.

Yes it is the fixed size.