The lower bound for binary ones in triangular numbers
Binary-weight conjecture. If n∈Nn\in\mathbb{N}n∈N is such that ∣(n)21∣≥6|(n)_2^1|\geq 6∣(n)21∣≥6, then ∣(tn)21∣≥4|(t_n)_2^1|\geq 4∣(tn)21∣≥4.