I have been struggling with the solution for a while and I was about to post my opinion on the fact that critical information was missing, but then I re-read and realised...
Take an Arbitrary number of couples (singles are irrelevant). Let's choose 250 Married Couples.
We know there are 50 UH (Unfaitful Husbands).
Each W (wife) only knows of the total number of OTHER UH's, not the ACTUAL number of UH
So...
200 W believe there are 50 UH (but they don't know if there are 51)
50 W believe there are 49 UH (but they don't know if there are 50)
0 W believe there are less than 49H
The reason for the (nested) inductive logic is as follows...
The 200 W believe there are 50 UH and believe that each of those 50 W believe that...
There are 49 UH and will shoot their husbands on night 50 and that those 49 W believe that...
There are 48 UH and will shoot their husbands on night 49 and that those 48 W believe that...
There are 47 UH and will shoot their husbands on night 48 and that those 47 W believe that...
There are 46 UH and will shoot their husbands on night 47 and that those 46 W believe that...
....
There are 2 UH and will shoot their husbands on night 3 and that those 2 W believe that...
There are 1 UH and will shoot their husbands on night 2 and that those 1 W believe that...
THERE MUST BE AT LEAST 1 UHSo as the nights increase the woman see that logic unravel.
When it does reach night 50 and there is no shots,
ALL 50 W realise that there was no-one out there that believed there were 48 UH.
If someone believed there were 48 UH they would have shot their husband on night 49 because the logic dictates that if my husband is Faithful, then 49 W
must have believed there were 48 UH, and if no-one believed there were 48 UH, then
all 50 W realise their Husbands are cheaters and shot them the next night, night 51.
It works because all woman are perfectly equal in their logic. Although at night 50, the 200 W might have started sweating and been extremely overjoyed by the mass murder on night 51.