Y demostraron que, si "n" es igual al número triangular "t", la elección óptima para "i" es justamente "k", y si "t" < "n" < "t", tanto "k" – 1 como "k" lo son.