__________ ___ __________ \/ 2021 - x - \/ 2 < \/ 2020 - x - 1
sqrt(2021 - x) - sqrt(2) < sqrt(2020 - x) - 1
(-oo, 2019)
x in Interval.open(-oo, 2019)
And(-oo < x, x < 2019)
(-oo < x)∧(x < 2019)