Timeline for $\int_0^1 f(\sin(1/x)) \times g(\cos(1/x)) dx \leq \int_0^1 f(\sin(1/x)) dx \times \int_0^1 g(\cos(1/x))dx? $
Current License: CC BY-SA 4.0
16 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2022 at 16:53 | comment | added | Iosif Pinelis | Why the downvote? Care to explain? | |
| Mar 4, 2022 at 21:38 | history | edited | Iosif Pinelis | CC BY-SA 4.0 |
added 10 characters in body
|
| Mar 4, 2022 at 21:35 | comment | added | Iosif Pinelis | @LSpice : Thank you for your edits. Indeed, $\lvert\sin\rvert$ looks much better than $|\sin|$. | |
| Mar 4, 2022 at 21:32 | history | edited | Iosif Pinelis | CC BY-SA 4.0 |
added 141 characters in body
|
| Mar 4, 2022 at 21:12 | comment | added | Iosif Pinelis | @LSpice : The latter displayed inequality in the answer will hold if e.g. $|S|$ is any increasing function and $|C|$ is any decreasing one (or vice versa). I do not know if this is interesting, though. | |
| Mar 4, 2022 at 21:04 | comment | added | LSpice |
TeX note: || for the absolute value is usually harmless, but sometimes TeX needs explicit pointers to the difference between opening and closing bars, and other uses of bars; consider $|\sin|$ |\sin| compared to $\lvert\sin\rvert$ \lvert\sin\rvert. I have edited accordingly. \\ Doubtless such pairs $S$ and $C$ exist abstractly, but are there any obvious interesting pairs other than modifications of the sine and cosine functions?
|
|
| Mar 4, 2022 at 21:02 | history | edited | LSpice | CC BY-SA 4.0 |
|| -> `\lvert\rvert`
|
| Mar 4, 2022 at 19:39 | vote | accept | Dattier | ||
| Mar 4, 2022 at 18:24 | history | edited | Iosif Pinelis | CC BY-SA 4.0 |
added 501 characters in body
|
| Mar 4, 2022 at 17:31 | history | edited | Iosif Pinelis | CC BY-SA 4.0 |
deleted 5 characters in body
|
| Mar 4, 2022 at 16:36 | history | edited | Iosif Pinelis | CC BY-SA 4.0 |
added 9 characters in body
|
| Mar 4, 2022 at 16:28 | history | edited | Iosif Pinelis | CC BY-SA 4.0 |
added 176 characters in body
|
| Mar 4, 2022 at 16:21 | history | undeleted | Iosif Pinelis | ||
| Mar 4, 2022 at 16:21 | history | edited | Iosif Pinelis | CC BY-SA 4.0 |
added 176 characters in body
|
| Mar 4, 2022 at 15:54 | history | deleted | Iosif Pinelis | via Vote | |
| Mar 4, 2022 at 15:51 | history | answered | Iosif Pinelis | CC BY-SA 4.0 |