How do they switch this function?

44 Views Asked by At

This is a the walkthrough to acquire a derived distribution. I don't get how they go from $\mathbf P(\frac{180}{y} \leq X)$ to $1 - F_X(\frac{180}{y})$. Can someone explain to me? Thanks! cdf