> > SJF can be proven to be the fastest scheduling algorithm

That's not fully analogous, since the OS isn't going to miscompute the last operation because it's in a rush to get done and get home.