...
Pas besoin de maths pour dire qu'il y a une limite à chaque circuit.
Tout simplement parce qu'on peut en donner une de limite: 0.
Car le temps commence de 0, et est toujours croissant (pas de bonus type relique), donc la limite en 0 est bien démontrable.
Tu dis que tu ne peux pas connaître "l",
donc tout ce qu'on peut affirmer, avec ou sans le "théorème" cité, c'est que la limite se trouve entre 0 et le temps minimal déjà réalisé.
Des bugs inconnus pourraient bien diviser par 2 le temps d'une course dans un cas sur 1.000.000, on ne pourra jamais connaître la vraie limite de chaque circuit.
Donc comme tu le dis toi-même à la fin de ton post, ton approximation de la limite des circuits est faite empiriquement, donc non mathématiquement: citer un théorème mathématique n'est donc d'aucune utilité dans ton argumentation!
Alors oui, je suis d'accord, je ne le croirai pas sans avoir vu une jolie vidéo 
Mais voilà, faites attention à ce que vous dites pour vous justifier, ça devient n'importe quoi...