> That has a standard deviation of 0.5 in the very worst case

followed by

> the standard deviation of a random sample scales like 1 over the square root of the sample size, so 0.5 divided by 10 => 0.05 (5%).