How big would a 100-200 f2.8 m43 OIS be?

100-200 f2.8 has a front lens diameter of 72mm (= 200/2.8) , i.e. an overall diameter of at least 80 mm.

I'd prefer a 70-200 f4, with front lens diameter of 50mm and a size, that better fits the mFT size and weight. I guess, it could be the size of the 100-300 or even shorter.

And I'd like to have a high grade lens ... and know, I keep hoping too much.

Peter.