Erdős Problem 346: Ratio Limit Forces the Golden Ratio

Source: url:https://www.erdosproblems.com/346 Authors: KitaKen1 Status: verified Main declarations: Erdos346.intended_problem_if_limit_exists Tags: number-theory, golden-ratio, erdos-problems MSC: 11B05, 11J70