Sie können sich die Antwort doch selber geben. Gegeben sei die von Ihnen gewünschte NA und der Arbeitsabstand. Daraus läßt sich dann schon der Linsendurchmesser errechnen, wie Sie es auch von der Photooptik kennen.
Jeder kennt ein 50/1,4 Objektiv, klein, leicht handlich. Jeder kennt auch ein Teleobjektiv mit sagen wir 400 mm Brennweite. Jetzt stellen Sie sich einmal ein Teleobjektiv 400/1,4 vor, was das für eine Frontlinse hat.
Dann nehmen Sie den typischen Objektivrevolver mit Standardgewinde und Standardabstand.
Weil diese uralte Festlegung auch aber nicht nur bei einer Fragestellung wie Ihrer zu Problemen führt, hat man z.B. bei Zeiss ein größeres Gewinde in den modernen Mikroskopen.
Ob man damit die 3 mm Arbeitsabstand realisieren kann, sollten Sie vielleicht mal dort nachfragen. Oder auf der Zeiss-Homepage einmal in der Objektivliste stöbern.
Rolf Mulder