"At least one" is a mathematical term meaning one or more. It is commonly used in situations where existence can be established but it is not known how to determine the total number of solutions.

exactly one | existence | iff | precisely unless