Originally posted by PJ1 On the crude maths it is f2.59 (135/52). Then again, maybe it is not quite 135mm. 130/52 gives f2.5
However, with a filter thread of 52mm, the actual clear aperture of the front element cannot be more than about 48mm or 49mm, or perhaps 50mm (at the absolute maximum), right? So, 135/50 would be f/2.7, while 135/49 would be f/2.76, etc.
OTOH, with the K 135/2.5, the filter threads are 58mm, so that the clear aperture could possibly be 54mm or 55mm, so that 135/54 might be f/2.5, and 135/55 might be f/2.45, etc.
Or, maybe I'm totally missing some important concept... (It wouldn't be the first time.)