How to efficiently remove the first line of a large file?

来源：https://stackoverflow.com/questions/43715675/how-to-efficiently-remove-the-first-line-of-a-large-file