The pigeonhole principle is stated here.
I found in a book the following application:
We can obtain the nature of the series $\sum \frac 1{n^2\sin^2(n)}$ from the pigeonhole principle.
The issue is that the book did not give any hint in how to derive this result from the pigeonhole principle. I don't even know if this series diverges or converges.
Do you know how one should proceed? Do you have any reference where this is done?
Maybe this is a duplicate, but I don't think so since I found nothing here.