Docstring for minimum-size-finite-frame
Simplify len function