On theoretical upper limits for valid timesteps of implicit ODE methods