Timeline for Has n^2*|sin(n)| limit? [closed]
Current License: CC BY-SA 3.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 3, 2016 at 15:52 | comment | added | user21820 | @fedja: Is anything more known about this now, 4 years later? =) | |
| Dec 15, 2011 at 23:17 | history | closed |
fedja Benjamin Steinberg Ryan Budney Felipe Voloch George Lowther |
too localized | |
| Dec 15, 2011 at 23:13 | comment | added | George Lowther | I mentioned this specific case in an answer to a math.SE question. math.stackexchange.com/a/20609/1321 | |
| Dec 15, 2011 at 22:30 | comment | added | Gerry Myerson | TeX added, but the question needs editing beyond formatting. Didn't bother with that, since question seems well on its way to closure. | |
| Dec 15, 2011 at 22:28 | history | edited | Gerry Myerson | CC BY-SA 3.0 |
improved formatting; added 1 characters in body
|
| Dec 15, 2011 at 20:50 | comment | added | David White | 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. | |
| Dec 15, 2011 at 20:49 | history | edited | David White |
edited tags
|
|
| Dec 15, 2011 at 20:35 | comment | added | Julien Puydt | May I humbly suggest that fedja turns her/his comment into an answer, with perhaps some link to where the record is proven? | |
| Dec 15, 2011 at 19:42 | comment | added | Noam D. Elkies | Most people who have thought about this believe we do know the answer but, as fedja noted, are still many years from proving it. | |
| Dec 15, 2011 at 19:29 | comment | added | fedja | 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 :) | |
| Dec 15, 2011 at 19:02 | history | asked | John | CC BY-SA 3.0 |