円周率πを以下のように定義する。 
「直径が1の円の円周の長さ」

この定義のみにもとづき、π<4をできるだけ初等的に証明せよ。
たとえば「半径が1の円の面積はπ」などは、上記の定義に基づき導出してから使うこと。