MicroStrategy and Michael Saylor will pay $40 million to settle a tax fraud lawsuit