Efektivita lenosti není zbytečná