Positivity

0.061678171157837