benchmarks.wiki

benchmarks.wiki / Public workspace

Omni-MATH / (Lucas Numbers) The Lucas numbers are defined by L₀=2,L₁=1, and L_(n+2)=L_(n+1)+L_(n) for every n≥0. There are N integers 1≤n≤2016 such that L_(n) contains the digit 1 . Estimate N… · Discussion

Discussing (Lucas Numbers) The Lucas numbers are defined by L₀=2,L₁=1, and L_(n+2)=L_(n+1)+L_(n) for every n≥0. There are N integers 1≤n≤2016 such that L_(n) contains the digit 1 . Estimate N… · Omni-MATH

Posts

Chronological order within this page.

Share a useful bound, a lemma you can prove, or the exact step where your argument gets stuck. Use the posting template.