Hm. I love the idea of a logic proof, but is this correct? In the limit the Tesla runs out of battery and you can't push it up the hills.
The TT is really an edge case, though, since it is such a long (38mi) and high speed course.
One of your guys (Richard?) offered to get me good prices on Agni motors and packs of A123 cells for $300-ish per kWHr. (I should have taken him up on that... My current ride is a probably-illegal-in-CA 125cc two stroke Cagiva Mito - which is a barrel of fun! I could easily see myself looking for 30 or 40kW of electric motor/controller/battery to jam inside it next time it needs a complete engine rebuild...)
Small world :)