likely neither. The current bounds are very ad-hoc robot derived and definitely seem improvable. epsilon seems unlikely as there isn't an obvious reason why overhead should go to 0. I doubt we're anywhere near even being able to convincingly conjecture what the correct lower bound should be.