select 6*q3c_pixarea(0,30)/pi()/4. between 0.99999 and 1.00001;
