$S=\{p\in \mathbb{Z}^+ : p\ \text{is prime and some condition on}\ p\}$ s.t. $\sum\limits_{p\in{S}}\frac{1}{p}\neq\infty$
He aquí un ejemplo con una simple condición explícita sobre $p$ .
$$ S= \{p \in \mathbb{Z}^+ | \text{$ p $ is prime and there is an $ n \in\mathbb {Z} $ such that $ 2^{n^2-1} \leq p \leq 2^{n^2} $} \}. $$
Se sabe que siempre hay un primo entre $k$ y $2k$ para cada $k\in\mathbb{Z}$ . Por lo tanto, el conjunto es infinito. [ Wikipedia ]
También se sabe que hay una constante $C$ tal que el número de primos menores que un entero $x$ , denotado por $\pi(x)$ es menor que $C\frac{x}{\ln x}$ . [ Wikipedia ]
Ahora podemos obtener una cota superior muy burda: Porque el número de primos entre $2^{n^2-1}$ y $2^{n^2}$ es menor que $\pi(2^{n^2})$ y sus recíprocos son menores que $\frac{1}{2^{n^2-1}}$ obtenemos $$ \sum_{p\in{S}}\frac{1}{p} \leq \sum_{n\in\mathbb{Z}^+} \frac{1}{2^{n^2-1}} \pi(2^{n^2}) \leq \sum_{n\in\mathbb{Z}^+} \frac{1}{2^{n^2-1}} C\frac{2^{n^2}}{\ln 2^{n^2}} \leq \sum_{n\in\mathbb{Z}^+} \frac{2 C}{\ln 2} \frac{1}{n^2} = \frac{2 C}{\ln 2} \frac{\pi^2}{6}. $$