Q24 Matemática  (IMO Longlists 1985)

Seja $d\ge 1$ um inteiro que não seja o quadrado de um inteiro. Prove que para todo inteiro $n\ge 1,$ $$(n\sqrt{d}+1)\cdot |\mathrm{sen}(n\pi \sqrt{d})|\ge 1$$