concavity.property was renamed to concave.property.
"Jensen's inequality" theorem was added (without proof).
Merge remote-tracking branch 'origin/master'

Conflicts:
	.idea/vcs.xml
	.idea/workspace.xml