[math-fun] Exponentially many needles in a double-exponential haystack