Redirecting to Blum's speedup theorem