7
$\begingroup$

Is there any sub-sequence $n_k$ of natural numbers such as $\lim(n_k^2|\sin(n_k)|) = 0$ ? when $k$ tends to infinity. In other words, does $\lim(n^2|\sin(n)|)$ exist (equal to infinity)? or there is no such limit?

$\endgroup$
7
  • 15
    $\begingroup$ That is equivalent to figuring out if $|\pi-\frac pq|<\frac c{q^3}$ has a solution for every $c>0$. The answer is "we don't know yet but we are getting there little by little". Currently the record for the irrationality measure of $\pi$ is 7.606..., way down from Mahler's original 30. So, just wait a couple dozen years :) $\endgroup$
    – fedja
    Commented Dec 15, 2011 at 19:29
  • 2
    $\begingroup$ Most people who have thought about this believe we do know the answer but, as fedja noted, are still many years from proving it. $\endgroup$ Commented Dec 15, 2011 at 19:42
  • 7
    $\begingroup$ May I humbly suggest that fedja turns her/his comment into an answer, with perhaps some link to where the record is proven? $\endgroup$ Commented Dec 15, 2011 at 20:35
  • 1
    $\begingroup$ Based on fedja's comment, I'm retagging this as an open problem. I also wish John (or someone) would edit this question to "texxify" it. I don't have enough rep yet to edit. $\endgroup$ Commented Dec 15, 2011 at 20:50
  • 1
    $\begingroup$ I mentioned this specific case in an answer to a math.SE question. math.stackexchange.com/a/20609/1321 $\endgroup$ Commented Dec 15, 2011 at 23:13

0