The SMC Pentax-M 40mm F2.8 is even smaller:

https://www.pentaxforums.com/lensrev...kake-Lens.html