Not sure I understand the formula either, but that is what is there for the naked put on stocks
https://www.interactivebrokers.com.au/en/index.php?f=marginnew&p=opt