« first day (1606 days earlier)      last day (1146 days later) » 

Martin Sleziak
Martin Sleziak
4:59 PM
in CURED, 3 hours ago, by Xander Henderson
Ugh... https://math.stackexchange.com/q/4038134/468350 . This has to be a dupe, right?
in CURED, 3 hours ago, by Xander Henderson
@MartinR After ten minutes of google and approach0, I can't find a good target. :\
in CURED, 3 hours ago, by Martin R
@XanderHenderson It was a bit tricky: https://approach0.xyz/search/?q=%24l%5E%5Cinfty%20%24%2C%20%24%7C%7Cx_n%2By_n%7C%7C_%7B%5Cinfty%7D%5Cleq%20%7C%7Cx_n%7C%7C_%7B%5Cinfty%7D%2B%7C%7Cy_n%7C%7C_%7B%5Cinfty%7D%24&p=2
in CURED, 3 hours ago, by Xander Henderson
@MartinR Clever!
in CURED, 1 min ago, by Martin Sleziak
@MartinR I will just add that A0 distinguishes between || and \| (I think) - so it might be useful to try both when searching for norms: https://approach0.xyz/search/?q=%24l%5E%5Cinfty%20%24%2C%20%24%5C%7Cx_n%2By_n%5C%7C_%7B%5Cinfty%7D%5Cleq%20%5C%7Cx_n%5C%7C_%7B%5Cinfty%7D%2B%5C%7Cy_n%5C%7C_%7B%5Cinfty%7D%24&p=1
 

« first day (1606 days earlier)      last day (1146 days later) »