Record the discount level at the start of each policy year as the state. A no claims discount system is a Discrete-time Markov chain when, conditional on this state, the next year's claim behavior and update rule do not depend on earlier history. Independent annual accident and loss mechanisms with a fixed state-based reporting rule give this property; one should not equate the probability of an accident with the probability of a submitted claim.
The density identifies as a standard normal random variable: substitute and . Therefore, for ,
Here is the numerical repair cost. The character preceding in the PDF is a currency symbol, not a separate multiplier.
Order states as . With the stipulated common annual probability of no submitted claims, the transition matrix is
A claim resets any state to zero, while a no-claim year raises the discount one level or keeps the top level fixed. If claim probabilities depend on the state, the corresponding row instead uses ; the same transition mechanism applies. The supplied single is a simplifying model assumption.
For a policyholder currently at zero discount, the current premium has the same value under either decision and cancels in the comparison. If the repair is self-funded and no later accidents occur, the next two premiums are and , giving a total cost including the current premium. If a claim is made, the next two premiums are and , giving total cost , with the repair paid by the insurer. Thus the two-year no-claims threshold with reset to zero is
At equality the holder is indifferent; it has probability zero under the continuous density. This assumes full reimbursement and no excess or deductible, as in the stated model.
Put . The conditional expected claim is . Completing the square in the normal integral gives the truncated lognormal moment
Dividing by the reporting probability gives the expected size of a submitted claim for the full-premium holder:
All monetary amounts must use the same unit despite the PDF's mixed currency notation. The other two current levels both have next-two-year no-claim premiums , versus after a claim, so their thresholds are . Consequently incorporating this behavioral decision into claim probabilities generally produces state-specific , rather than deriving a common from the severity density alone; no accident-frequency law is provided.