Stream: Is there code for X?
Keefer Rowan (May 28 2020 at 17:45):
Is there theorem of the form ?
Kevin Buzzard (May 28 2020 at 22:30):
So we certainly have that E has a sup, but you might have to build the sequence by hand unless there's some trick with filters :-)
Yury G. Kudryashov (May 29 2020 at 05:12):
Do you want this sequence to be increasing?
Last updated: May 16 2021 at 05:21 UTC