Complex sentence: Although π (pi) has been studied since ancient times, and so has the concept of irrational number, it was not until the 18th century that Johann Heinrich Lambert proved that π is irrational.
Split into simpler sentences: Although π (pi) has been studied since ancient times, and so has the concept of irrational number. It was not until the 18th century that Johann Heinrich Lambert proved that π is irrational.