at least 8 heads in 10 coin flips