Proof of the finite-time thermodynamic uncertainty relation for steady-state currents.