This is more of mathematical problem, but I think there is an electrotechnical engineer that can help me.
So I was reading about I2C pull-up values in the Texas Instruments SLVA689 I2C Bus Pullup Resistor Calculation document and stumbled upon these equations and partial explanation:
What I don't understand is where does the yellow marked value of 0.8473 come from?