For pros on fresh cloth 4” seems fine to me or at a push 4.25”. For clubs I agree a little larger compensates for old cloth, unevenness, humidity etc.
My experience playing in Southern Japan. The serious competition tables at our club have 4” pockets with one at 3.9”. I ran a 3-pack only twice...