Prove that the following inequalities hold for the Brockard angle φ:
a) φ3≤(α−φ)(β−φ)(γ−φ) ;
b) 8φ3≤αβγ (the Jiff inequality).