Simplest way:

The 5 workers working half days is the same as 2.5 workers working full days,
so it's the same as having 7.5 workers.

Since 7.5 workers is exactly half of 15 workers, it will take them twice as 
long as it takes 15 workers, or 20 days.

Edwin