ln⁡4≤z⁢RF⁡(0,y,z)+ln⁡y/z≤12⁢π,