[math-fun] TRAPPIST-1: three earthlike planets orbit one red dwarf star