Will Lando Norris win the 2024 F1 season?

This market will resolve to "Yes" if Formula 1 (F1) racer Lando Norris finishes 1st in driver standings for the 2024 F1 season. Otherwise, this market will resolve to "No". As soon as the results for the final scheduled race of the 2024 F1 season are known (the final scheduled race for the 2024 season is presently scheduled for December 6-8 in Abu Dhabi: https://www.formula1.com/en/racing/2024.html), this market will resolve. This market may immediately resolve to "No" if it becomes impossible for this driver to win based on the rules of the 2024 F1 season. If the 2024 F1 season does not end by December 29, 2024, 11:59 PM ET, this market will resolve according to the standings available then. The primary resolution source for this market will be official information from Formula 1 (ex: https://www.formula1.com/en/results.html/2024/drivers.html).