AdventOfCode23/Day6/RaceStats.cs

namespace Day6;

public record RaceStats(long Duration, long Distance)
{
    public long LowerBound()
    {
        var duration = (double)Duration;
        var distance = (double)Distance;
        var lowerBound = (-duration + Math.Sqrt(duration * duration - 4 * distance)) / (-2.0);
        var nextWhole = (long)Math.Ceiling(lowerBound);
        return nextWhole > lowerBound ? nextWhole : nextWhole + 1;
    }
}