Sums of Distinct Factorials That Are Powers of Two (Erdos Problem 403)

Source: url:https://www.erdosproblems.com/403 Authors: Trevor Morris Status: verified Main declarations: Erdos403.erdos_403_sharp, Erdos403.erdos_403_finite Tags: number-theory, factorials, erdos-problems MSC: 11B83