Timeline for How to prove $e^x\left|\int_x^{x+1}\sin(e^t) \,\mathrm d t\right|\le 1.4$?
Current License: CC BY-SA 4.0
14 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 14, 2020 at 4:19 | comment | added | user64494 | The answer math.stackexchange.com/questions/3573887/… is more accurate. | |
| Jul 13, 2020 at 10:41 | history | edited | Fedor Petrov | CC BY-SA 4.0 |
added 238 characters in body
|
| Mar 11, 2020 at 13:04 | comment | added | Iosif Pinelis | @FedorPetrov: Right, my bad. | |
| Mar 11, 2020 at 13:03 | comment | added | Iosif Pinelis | @TonyHuynh : Thank you for the information. | |
| Mar 11, 2020 at 6:49 | comment | added | Fedor Petrov | @IosifPinelis hm, it looks that I need that $e$ is irrational, not $e/\pi$. | |
| Mar 11, 2020 at 6:43 | history | edited | Fedor Petrov | CC BY-SA 4.0 |
added 25 characters in body
|
| Mar 11, 2020 at 3:25 | comment | added | Tony Huynh | @IosifPinelis I think this is still not known to be true, although it follows from Schanuel's conjecture. See mathoverflow.net/questions/33817/… | |
| Mar 11, 2020 at 2:30 | comment | added | Iosif Pinelis | Very nice! Integration by parts, of course, to alleviate the oscillations. Somehow, I had not noticed your answer before completing mine. By the way, we both seem to be using that $e/\pi$ is irrational -- do you know if that is so? | |
| Mar 11, 2020 at 0:26 | vote | accept | Maximilian Janisch | ||
| Mar 10, 2020 at 23:34 | history | edited | T. Amdeberhan | CC BY-SA 4.0 |
edited body
|
| S Mar 10, 2020 at 23:31 | history | suggested | Simply Beautiful Art | CC BY-SA 4.0 |
MathJax editing
|
| Mar 10, 2020 at 23:28 | comment | added | user44191 | I think you switched integration variables from $t$ to $x$, which is somewhat confusing. | |
| Mar 10, 2020 at 23:18 | review | Suggested edits | |||
| S Mar 10, 2020 at 23:31 | |||||
| Mar 10, 2020 at 22:58 | history | answered | Fedor Petrov | CC BY-SA 4.0 |