PROBLEM 5: Accept the Bohr-Mollerup theorem without proof. (It is used in Part (f).)