π<x<2ϕ şartını sağlayan bir x sayısı bulmaya çalışalım.
2ϕ=1+√5∼3,23 olduğu direkt hesapla görülebilir.
Lemma: Birim çembere teğet olan düzgün bir çokgenin alanı Sn=n⋅tan(πn) ile verilir.
Çemberin alanı onu çevreleyen çokgenin alanından açıkça küçük olacağından π<Sn eşitsizliği barizdir. Ayrıca n→∞ iken Sn→π olur.
n=6 için denersek x=S6=2√3>1+√5 olacağından istediğimiz eşitsizlik sağlanmaz.
n=12 için x=S12=12tan15=12(2−√3)∼3,215 olup π<x<2ϕ eşitsizliği sağlanır. Dolayısıyla π<2ϕ olmalıdır.