A rigorous time bound for factoring integers

A rigorous time bound for factoring integers