프로야구에서 역대 가장 많은 삼진을 기록한 투수는 누구인가요

안녕하세요 투수가 가장 돋보이는 것은 삼진인데요 프로야구에서 역대 가장 많은 삼진을 기록한 투수는 누구인가요 알려주시면 감사하겠습니다