Rahn, Johann Heinrich, the elder; Swiss mathematician