Si se lanzan formula_17 agujas y formula_18 cruzan alguna línea, se tiene que: