Timeline for Compilation of strategies to show that some constant is irrational
Current License: CC BY-SA 4.0
7 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Nov 26, 2022 at 13:03 | comment | added | JoshuaZ | @LSpice. You are correct. Fixed. | |
Nov 26, 2022 at 13:03 | history | edited | JoshuaZ | CC BY-SA 4.0 |
swap a with n
|
Nov 26, 2022 at 4:23 | comment | added | LSpice | I think you mean "for any $k$, $\operatorname{lcm}(1, 2, \dotsc, k) \mid a_n$ if $n$ is sufficiently large" (otherwise, with "$a_n$ sufficiently large" in place of "$n$ sufficiently large", the condition would be satisfied by a bounded sequence). What is the difference between that condition and "for every $k$, $k \mid a_n$ if $n$ is sufficiently large"? Maybe it's something subtle about the order of the quantifiers. | |
Nov 26, 2022 at 4:22 | history | edited | LSpice | CC BY-SA 4.0 |
Link and TeX
|
Nov 25, 2022 at 16:30 | history | edited | JoshuaZ | CC BY-SA 4.0 |
Note Zare's version uses that
|
Nov 25, 2022 at 14:53 | comment | added | Benjamin Dickman | this is a very cool example!! great link | |
Nov 25, 2022 at 13:54 | history | answered | JoshuaZ | CC BY-SA 4.0 |