编写程序，实现以下功能:编写一个函数fun(),输入实型变量a的值, 使其保留2位小数，并对第三位进行四舍五人(规定a中的值为正数)。

要编写一个Python函数`fun()`，你可以使用`round()`函数配合字符串格式化来实现这个需求。这里是一个简单的示例：

def fun(a):
    # 首先检查输入是否为正数，如果不是则返回错误信息
    if a < 0:
        return "Error: Input must be a positive number."
    
    # 使用round()函数保留两位小数并进行四舍五入处理
    formatted_a = round(a, 2)
    
    # 将结果转换为字符串，确保始终有三位小数（如果最后一位是0，则会被自动去掉）
    result_str = "{:.3f}".format(formatted_a)
    
    return result_str

# 示例使用
input_value = 3.14159
output = fun(input_value)
print("After formatting:", output)

当你运行此代码并提供一个正数值给`fun()`，它会返回一个保留两位小数并四舍五入的结果。