hen the total predicted prize available to user A in period = where is the user's staked asset value, is the total staked asset value of the platform, and is the total platform