Where:

But a really nice property of the KF algorithm allows us to do so:

So we can just choose large enough such that belongs to the confidence interval, then the algorithm will adjust both and every times it iterate.
But even if we choose too small, such that is not inside the confidence interval, the KF will still converge to the “optimal” solution MSE if the state of the problem is not Gaussian, LSME if it is Gaussian, tho is better to choose bigger, the KF will converge sooner.
NOTE: This is not the case in non-linear systems, where if is too small or too large the algorithm might not converge, the linearization might fail.