有限集合上の解析学は面白くない