He can easily verify it by doing what I suggested. The losses cannot be unlimited when selling a put and anyone who doesn't know this shouldn't be trading. While here is the proof showing the required margin on my account for selling the same SVXY put and for couple expiry dates, specific to the portfolio, not a static number like $6K:
I think the IB requester margin was like $6150 or $6250 or something. Weird. I mean it's csh-secured, $2,000 max, right?
I'm not sure what buying 100 shares of SVXY has to do with anything unless you are talking about buying a the strike price of 20, in my example.
Because you have to do a bit of thinking and analyzing to get the picture and see whether the margin required for purchasing 100 SVXY shares is equal to its current price, or 3x the price, or 1/3rd the price, etc. This should relate to your attempt of selling the put. And that may be specific to your account/portfolio. My required margin for purchasing 100 shares of SVXY is $187.