Bloom filters debunked: Dispelling 30 Years of bad math with Coq
The new formula doesn't appear in the Wikipedia article for Bloom Filter, although it does say that the old formula is only an approximation because of the incorrect independence assumption.