>Speaking for the tech industry, I think has been proved time and again that the output of a person is in no way directly proportional to the number of hours (or days) worked

If you were looking at it from a productivity perspective I suspect five shorter days is going to be more effective than four normal days.