I have a pandas dataframe and want to delete 90% of data which satisfies condition.
The condition is very simple. If the value of the column "Parameter1" is greater than a threshold, then delete it.
My question is how to delete 90% of them, not 90% values in a row, but random