A linear lower bound on the gonality of modular curves