Make a formula to calculate REDIS size for X users.

great, let's add this info. For 1216 is that the average size ? can it change ? is it fixed ?