[math-fun] KIC 8462852