Πεψενθε 

`and`(C = `+`(`*`(2, `*`(Pi, `*`(r)))), `and`(`+`(`*`(2, `*`(Pi, `*`(r)))) = `*`(Pi, `*`(d)), `>`(`*`(Pi, `*`(d)), `+`(`*`(16, `*`(Pi))))))