[math-fun] It would take five Ramanujans to impeach Trump