What Major League Baseball player holds the record for all-time career high batting average?

• Ty Cobb
• Larry Walker
• Jeff Bagwell
• Frank Thomas