__________ ___ __________ \/ 2021 - x - \/ 2 > \/ 2020 - x - 1
sqrt(2021 - x) - sqrt(2) > sqrt(2020 - x) - 1
(2019, 2020]
x in Interval.Lopen(2019, 2020)
And(x <= 2020, 2019 < x)
(x <= 2020)∧(2019 < x)