How Much Lookahead is Needed to Win Infinite Games? (Logical Methods in Computer Science, 2017)