[math-fun] Drake formula's