what is an integer between the square root of 30 and 4*Pi divided by 3