How to derive number pí from one property of the Fibonacci sequence