552

Prove the length of the green polyline is approximately $3.142$.