feat: generalize constant 5 in Vitali covering (#15117) I would like to apply it for \tau = 4.
\tau = 4