Hacker News Reader

Indeed no proof. By "in practice" I meant "on instances encountered in real-world applications."

then instead of _expected time_ you should say _hope-for time_ because _expected time_, in this context, is already firmly defined.