Question: is pedro martinez in the hall of fame?
Answer: Martínez was elected to the Hall of Fame in 2015. that Pedro Martínez's WHIP (walks plus hits divided by innings pitched) of 0.737 in 2000 is the best single-season mark in big league history among pitchers who qualified for the ERA title?