Source: https://www.cc.gatech.edu/~rpeng/CS4510_S20/Feb11RegularPumping.pdf