Maybe, but I didn't have that formula handy and found it with a couple minutes of googling, so it's not that hard.

In any case, by the time the full transition to PoS is complete, one thing that will be easy for the market to know is that issuance will be substantially lower than BTC, and possibly negative depending on transaction fees.