Kaj_Sotala comments on Starting point for calculating inferential distance?

[Kaj_Sotala]

And remember, if that one doesn’t strike your fancy, you can always employ one of these alternative ways for proving your result.