More specifically:
Intuitively, it feels like p-common knowledge might inherently dilute each level more and more, in comparison to full common knowledge, since we stack p-belief operators.
Rounding upward when multiplying allows 1−ε to be a fixed point.
More specifically:
Rounding upward when multiplying allows 1−ε to be a fixed point.