The depression in freezing point (\( \Delta T_f \)) is given by the formula:
\[
\Delta T_f = K_f \times m
\]
where:
- \( K_f \) is the cryoscopic constant or freezing point depression constant of the solvent, and
- \( m \) is the molality of the solution (moles of solute per kilogram of solvent).
This formula shows that the depression in freezing point is directly proportional to the molality of the solution.