Wie kann man die Zeilenzahl einer großen Datei kostengünstig in Python ermitteln?

Question

Wie ermittle ich die Zeilenzahl einer großen Datei auf möglichst speicher- und zeiteffiziente Weise?

def file_len(filename):
    with open(filename) as f:
        for i, _ in enumerate(f):
            pass
    return i + 1