Достигнет ли когда-нибудь $PI $5?