Constrained PMF

Think we're mostly done!
Did you forgot a 2 times the whole equation?