Zero-Free Regions for Dirichlet L-Functions, and the Least Prime in an Arithmetic Progression

The classical theorem of Dirichlet states that any arithmetic progression a(mod q) in which a and q are relatively prime contains infinitely many prime numbers. A natural question to ask is then, how big is the first such prime, P (a, q) say? In one direction we have trivially