Under b,w<=lambda^beta, the dimension bound gives 2(b+w)D^2<=4*lambda^beta*2^(lambda/64). For fixed beta this is eventually at most n, since n>2^(lambda-1) and exponential growth dominates a fixed power of lambda. Also Q and r are bounded by fixed powers of lambda, so 2Q*r^2<=n eventually. Separately r grows like sqrt(lambda)/nu^2, Q like lambda/nu, and R like sqrt(lambda), giving r>=2, R>=32 and 6R<=Q eventually. These arguments establish existence of a sufficiently large threshold. They do not authorize skipping the actual numerical checks for a particular input.