effective diameter formula lens