converter: precisely found lower bound