<< trigonometry
weitzenberk_inequality