MLB Pitching ERA Leader

This is a market on predicting the pitcher who will finish the 2025 MLB regular season with the lowest earned run average (ERA).