The Sequential ATPG: A Theoretical Limit